640 search results - page 100 / 128 » Discovering State Invariants |
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Typical applications of evolutionary optimization in static environments involve the approximation of the extrema of functions. For dynamic environments, the interest is not to lo...
104
click to vote
ICOIN
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we propose DINPeer middleware to overcome limitations in current peer-to-peer (P2P) overlay systems. DINPeer exploits a spiral-ring method to discover an inner ring ...
108
click to vote
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe the design of a Windows file-system directory service that ensures the persistence, integrity, privacy, syntactic legality, and case-insensitive uniqueness of the name...
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
— In this paper, we propose to use coordinates-based mechanisms in a peer-to-peer architecture to predict Internet network distance (i.e. round-trip propagation and transmission ...