352 search results - page 44 / 71 » Extended Timed Automata and Time Petri Nets |
119
click to vote
ECEASST
2008
15 years 2 months ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
130
click to vote
OPODIS
2010
14 years 12 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
100
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
111
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...