6608 search results - page 1055 / 1322 » On the Completeness of Model Checking |
199
click to vote
CISSE
2007
Springer
15 years 10 months ago
2007
Springer
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
166
Voted
FC
2010
Springer
15 years 10 months ago
2010
Springer
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r...
176
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
169
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a method based on part-of-speech tagging (PoS) is used for bibliographic reference structure. This method operates on a roughly structured ASCII file, produced by O...