1463 search results - page 284 / 293 » Model Checking Implicit-Invocation Systems |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
ICFEM
2009
Springer
14 years 1 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
PETRA
2009
ACM
14 years 1 months ago
2009
ACM
In Italy, the service of Pediatric oncology is very centralized and granted by high-specialized medical structures. In the Italian Regione Campania there are just few of such medi...
IWIA
2005
IEEE
14 years 29 days ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...