10159 search results - page 2015 / 2032 » System Design Validation Using Formal Models |
HPCA
2009
IEEE
14 years 8 months ago
2009
IEEE
The shrinking processor feature size, lower threshold voltage and increasing clock frequency make modern processors highly vulnerable to transient faults. Architectural Vulnerabil...
EDBT
2008
ACM
2008
ACM
iDataGuard: middleware providing a secure network drive interface to untrusted internet data storage
14 years 8 months ago
In this demonstration, we present the design and features of iDataGuard. iDataGuard is an interoperable security middleware that allows users to outsource their file systems to he...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...
ACMICEC
2006
ACM
14 years 1 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
The tuple space model inspired by Linda has recently been rediscovered by distributed middleware. Moreover, some researchers also applied it in the challenging scenarios involving...