2934 search results - page 289 / 587 » Universality in Multi-Agent Systems |
185
click to vote
SEUS
2010
IEEE
15 years 5 months ago
2010
IEEE
Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the communit...
143
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
153
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
188
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
Software defects lead to security vulnerabilities, which are costing businesses millions of dollars each year and threaten the security of individuals and the nation. It can be de...
180
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...