12023 search results - page 111 / 2405 » The K-Rep System Architecture |
ICEIS
2006
IEEE
14 years 4 months ago
2006
IEEE
ICCD
1999
IEEE
14 years 2 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
HICSS
1998
IEEE
14 years 2 months ago
1998
IEEE
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
DKE
2002
13 years 10 months ago
2002
The design of very small databases for smart cards and for portable embedded systems is deeply constrained by the peculiar features of the physical medium. Privacy concerns are re...
SIGMETRICS
2000
ACM
13 years 10 months ago
2000
ACM
Previous studies measuring the performance of general-purpose operating systems running large-scale Internet server applications, such as proxy caches, have identified design defi...