8780 search results - page 1425 / 1756 » On the Feasibility of Consistent Computations |
172
click to vote
ISER
2004
Springer
16 years 3 days ago
2004
Springer
A virtual fence is created by applying an aversive stimulus to an animal when it approaches a predefined boundary. It is implemented by a small animal-borne computer system with a...
143
Voted
ISOLA
2004
Springer
16 years 3 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
166
click to vote
IWPEC
2004
Springer
16 years 3 days ago
2004
Springer
Consider the following problem, that we call “Chordless Path through Three Vertices” or CP3V, for short: Given a simple undirected graph G = (V, E), a positive integer k, and t...
173
click to vote
MABS
2004
Springer
16 years 3 days ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
180
click to vote
MFCS
2004
Springer
16 years 3 days ago
2004
Springer
We study the complexity of the inclusion, equivalence, and intersection problem for simple regular expressions arising in practical XML schemas. These basically consist of the conc...