1362 search results - page 230 / 273 » Model Checking Large Network Protocol Implementations |
127
click to vote
PE
2007
Springer
15 years 1 months ago
2007
Springer
The next generation of software systems will be highly distributed, component-based and service-oriented. They will need to operate in unattended mode and possibly in hostile envi...
143
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
Legacy network file services such as NFS, SMB/CIFS, and AFP changed the way we worked. File services running on crossplatform networks allowed us to save our files on remote syste...
126
click to vote
FASE
2006
Springer
15 years 5 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
134
click to vote
RAID
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. An epidemic is malicious code running on a subset of a community, a homogeneous set of instances of an application. Syzygy is an epidemic detection framework that looks f...
134
click to vote
DASFAA
2003
IEEE
15 years 7 months ago
2003
IEEE
With the wide availability of content delivery networks, many e-commerce Web applications utilize edge cache servers to cache and deliver dynamic contents at locations much closer...