1222 search results - page 61 / 245 » Verifying a File System Implementation |
170
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
148
click to vote
FAST
2009
15 years 2 months ago
2009
Transactions offer a powerful data-access method used in many databases today trough a specialized query API. User applications, however, use a different fileaccess API (POSIX) wh...
126
click to vote
JOT
2006
15 years 4 months ago
2006
This paper presents the middleware needed to deploy jobs to non-geographically colocated clusters with decentralized look-up severs. We have named our framework the Initium Remote...
157
click to vote
WISEC
2010
ACM
15 years 4 months ago
2010
ACM
Data breaches due to stolen laptops are a major problem. Solutions exist to secure sensitive files on laptops, but are rarely deployed because users view them as inconvenient. Thi...
202
click to vote
EGOV
2003
Springer
15 years 9 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...