6608 search results - page 1228 / 1322 » On the Completeness of Model Checking |
132
click to vote
SCM
1998
15 years 5 months ago
1998
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
128
Voted
WSC
1997
15 years 5 months ago
1997
Optimistic parallel discrete event simulation (PDES) uses a state history trail to support rollback. State saving strategies range from making a complete copy of a model’s state...
114
Voted
WSC
1997
15 years 5 months ago
1997
Evolving doctrine in the U. S. Marine Corps emphasizes small, highly-mobile forces, supported from the sea rather than from large, land-based supply points. We introduce some emer...
129
Voted
CRYPTO
2010
Springer
15 years 4 months ago
2010
Springer
Secure two-party authentication and key exchange are fundamental problems. Traditionally, the parties authenticate each other by means of their identities, using a public-key infr...
134
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Complex diseases are multifactorial traits caused by both genetic and environmental factors. They represent the major part of human diseases and include those with lar...