4036 search results - page 638 / 808 » Formal Methods |
164
click to vote
FMCO
2005
Springer
16 years 29 min ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
140
click to vote
FORMATS
2005
Springer
16 years 26 min ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...
179
click to vote
FORMATS
2005
Springer
16 years 24 min ago
2005
Springer
In this paper, we study timed games played on weighted timed automata. In this context, the reachability problem asks if, given a set T of locations and a cost C, Player 1 has a st...
192
click to vote
FORMATS
2005
Springer
16 years 24 min ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
156
click to vote
FORMATS
2005
Springer
16 years 23 min ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...