102291 search results - page 19914 / 20459 » Computing |
183
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
176
click to vote
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
141
click to vote
GECCO
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
127
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
140
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we provide a method to safely store a document in perhaps the most challenging settings, a highly decentralized replicated storage system where up to half of the st...