43264 search results - page 8118 / 8653 » Comparing models of computation |
127
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
144
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
226
click to vote
P2P
2008
IEEE
15 years 10 months ago
2008
IEEE
Many different Distributed Hash Tables (DHTs) have been designed, but only few have been successfully deployed. The implementation of a DHT needs to deal with practical aspects (e...
116
click to vote
PIMRC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— To protect SIP communication networks from attacks, especially flooding attacks like Denial-of-Service or message spam, Intrusion Detection Systems (IDS) are deployed ...
167
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...