20441 search results - page 3678 / 4089 » Locally Computable Structures |
127
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
117
click to vote
ISCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Network firewalls remain the forefront defense for most computer systems. These critical devices filter traffic by comparing arriving packets to a list of rules, or security po...
139
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
124
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
137
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...