7766 search results - page 1332 / 1554 » Testing Nondeterminate Systems |
AP2PC
2007
Springer
14 years 10 days ago
2007
Springer
This paper describes the operational characteristics of “CompTorrent”, a general purpose distributed computing platform that provides a low entry cost to creating new distribut...
CRITIS
2007
14 years 10 days ago
2007
We propose and investigate a game-theoretic approach to the malware filtering and detector placement problem which arises in network security. Our main objective is to develop opt...
FOSSACS
2008
Springer
14 years 10 days ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
INFOSCALE
2007
ACM
14 years 10 days ago
2007
ACM
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
ACL
2008
14 years 7 days ago
2008
We address two problems in the field of automatic optimization of dialogue strategies: learning effective dialogue strategies when no initial data or system exists, and evaluating...