1246 search results - page 121 / 250 » Recursive Timed Automata |
130
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
184
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
149
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
158
click to vote
ICDCS
2007
IEEE
16 years 20 days ago
2007
IEEE
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
150
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...