1222 search results - page 181 / 245 » Verifying a File System Implementation |
117
Voted
PAMI
2007
15 years 1 months ago
2007
—Conventional verification systems, such as those controlling access to a secure room, do not usually require the user to reauthenticate himself for continued access to the prote...
140
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
110
Voted
MICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
108
click to vote
DSD
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present an efficient hardware architecture for real-time implementation of quarter-pixel accurate variable block size motion estimation for H.264 / MPEG4 Part 10...
116
click to vote
AOSD
2005
ACM
15 years 8 months ago
2005
ACM
Design patterns offer flexible solutions to common problems in software development. Recent studies have shown that several design patterns involve crosscutting concerns. Unfortun...