3909 search results - page 291 / 782 » Extreme Model Checking |
109
Voted
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
123
Voted
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
We describe a method for processing large amounts of volumetric data collected from a Knife Edge Scanning Microscope (KESM). The neuronal data that we acquire consists of thin, br...
151
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
155
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
149
Voted
MASCOTS
1993
15 years 4 months ago
1993
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...