3428 search results - page 395 / 686 » Making the Case |
163
click to vote
SPAA
2003
ACM
15 years 12 months ago
2003
ACM
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...
177
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Optimal behavior is a very desirable property of autonomous agents and, as such, has received much attention over the years. However, making optimal decisions and executing optima...
190
click to vote
ICDT
2003
ACM
15 years 12 months ago
2003
ACM
We consider the problem of evaluating a large number of XPath expressions on an XML stream. Our main contribution consists in showing that Deterministic Finite Automata (DFA) can b...
226
Voted
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
188
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
The quality control and update of geo-data, in this case especially of road-data, is the primary aim of the system, which is presented in the paper. One important task of the syste...