6608 search results - page 930 / 1322 » On the Completeness of Model Checking |
169
click to vote
NGITS
1995
Springer
15 years 10 months ago
1995
Springer
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...
173
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
170
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
179
click to vote
SEC
2008
15 years 8 months ago
2008
Many applications inherently disclose information because perfect privacy protection is prohibitively expensive. RFID tags, for example, cannot be equipped with the cryptographic p...
169
click to vote
DBSEC
2006
15 years 8 months ago
2006
Traditional access control models are often found to be inadequate for digital libraries. This is because the user population for digital libraries is very dynamic and not complete...