639 search results - page 82 / 128 » A Finite State Mobile Agent Computation Model |
161
click to vote
IJCAI
2007
15 years 5 months ago
2007
A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. It is commonly asserted that in order to ...
156
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
133
click to vote
SIS
2007
15 years 5 months ago
2007
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...
157
click to vote
DAGSTUHL
2000
15 years 5 months ago
2000
Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a pow...
140
click to vote
FORTE
2009
15 years 2 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...