32032 search results - page 6111 / 6407 » Verified programming in Guru |
156
click to vote
RAID
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
192
click to vote
SAS
2005
Springer
16 years 7 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
151
click to vote
SCOPES
2005
Springer
16 years 7 days ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
160
click to vote
SIGADA
2005
Springer
16 years 7 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
209
click to vote
SSS
2005
Springer
16 years 7 days ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...