1888 search results - page 47 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
111
Voted
ISTA
2003
15 years 4 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
112
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
130
click to vote
FAABS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
127
Voted
FC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
123
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...