1222 search results - page 116 / 245 » Verifying a File System Implementation |
115
Voted
SNPD
2004
15 years 4 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
111
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
Content Extraction Signatures (CES) enable selective disclosure of verifiable content, provide privacy for blinded content, and enable the signer to specify the content the docume...
147
Voted
IEAAIE
2011
Springer
14 years 6 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
117
Voted
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Most of today’s distributed computing systems in the field do not support the migration of execution entities among computing nodes during runtime. The relatively static associa...
135
Voted
ICWL
2007
Springer
15 years 9 months ago
2007
Springer
It is indeed important to implement e-Learning platforms for education and training purposes in a variety of domains. However, facing the enormous amount of learning resources, gui...