921 search results - page 137 / 185 » On Interleaving in Timed Automata |
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
Conversation policies codify the allowable exchanges of speech acts among agents as they execute specific types of tasks. Both the set of agents in a community, and the nature of...
AIPS
2010
15 years 2 months ago
2010
Factored planning methods aim to exploit locality to efficiently solve large but "loosely coupled" planning problems by computing solutions locally and propagating limit...
ALIFE
2004
14 years 11 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
103
click to vote
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
LATA
2009
Springer
15 years 6 months ago
2009
Springer
We study the effects of faulty data on NP-hard sets. We consider hard sets for several polynomial time reductions, add corrupt data and then analyze whether the resulting sets are...