1222 search results - page 232 / 245 » Verifying a File System Implementation |
118
click to vote
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
Future scalable, high throughput, and high performance applications are likely to execute on platforms constructed by clustering multiple autonomous distributed servers, with reso...
129
Voted
SIGGRAPH
1992
ACM
15 years 3 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
JSAC
2011
14 years 6 months ago
2011
Abstract—In this paper, we propose a distributed key management framework based on group signature to provision privacy in vehicular ad hoc networks (VANETs). Distributed key man...
102
click to vote
WWW
2002
ACM
16 years 9 days ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
104
Voted
GI
2005
Springer
15 years 5 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...