1541 search results - page 238 / 309 » Tools and Techniques for Model Checking Networked Programs |
122
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
115
click to vote
MDM
2009
Springer
15 years 7 months ago
2009
Springer
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...
106
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Due to computational intractability, large scale coordination algorithms are necessarily heuristic and hence require tuning for particular environments. In domains where character...
98
Voted
DSRT
2008
IEEE
15 years 7 months ago
2008
IEEE
A rational P2P node may decide not to provide a particular resource or to provide it with degraded quality. If nodes are very likely to behave this way, or if the failure of an P2...
117
click to vote
SIGCSE
2003
ACM
15 years 5 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...