1541 search results - page 104 / 309 » Tools and Techniques for Model Checking Networked Programs |
132
click to vote
JASIS
2006
15 years 4 months ago
2006
P2P applications are rapidly gaining acceptance among users of Internet-based services, especially because of their capability of exchanging resources while preserving the anonymi...
143
click to vote
RAID
2010
Springer
15 years 2 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
136
click to vote
TSE
2008
15 years 4 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
152
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
248
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...