4693 search results - page 197 / 939 » Verifying Hybrid Systems |
154
click to vote
FORMATS
2005
Springer
15 years 11 months ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
128
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
We present GAB, a search algorithm for hybrid P2P networks, that is, networks that search using both flooding and a DHT. GAB uses a gossip-style algorithm to collect global statis...
152
click to vote
JAIR
2006
15 years 5 months ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
147
click to vote
ERCIMDL
2009
Springer
15 years 3 months ago
2009
Springer
This paper presents a hybrid scavenger grid as an underlying hardware architecture for search services within digital libraries. The hybrid scavenger grid consists of both dedicate...
164
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...