5599 search results - page 447 / 1120 » Abstract State Services |
169
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
169
click to vote
ICTAI
2005
IEEE
16 years 13 days ago
2005
IEEE
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
182
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
163
click to vote
CONCUR
2005
Springer
16 years 11 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
186
click to vote
PROMAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...