653 search results - page 14 / 131 » Implications of a Data Structure Consistency Checking System |
COOP
2004
13 years 9 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
SIGCOMM
1995
ACM
13 years 11 months ago
1995
ACM
Checksum and CRC algorithms have historically been studied under the assumption that the data fed to the algorithms was uniformly distributed. This paper examines the behavior of ...
BMCBI
2005
13 years 7 months ago
2005
Background: The integration of genomic information with quantitative experimental data is a key component of systems biology. An increasing number of microbial genomes are being s...
IPTPS
2003
Springer
14 years 27 days ago
2003
Springer
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...
IJAIT
2006
13 years 7 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...