32032 search results - page 6111 / 6407 » Verified programming in Guru |
170
click to vote
RAID
2005
Springer
16 years 27 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...
223
click to vote
SAS
2005
Springer
16 years 27 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,...
180
click to vote
SCOPES
2005
Springer
16 years 27 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...
175
click to vote
SIGADA
2005
Springer
16 years 27 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...
228
click to vote
SSS
2005
Springer
16 years 27 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...