2632 search results - page 40 / 527 » Alternating Timed Automata |
DEON
2004
Springer
15 years 8 months ago
2004
Springer
86
Voted
AIPS
2000
15 years 4 months ago
2000
127
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
124
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
135
click to vote
BCS
2008
15 years 4 months ago
2008
We propose a defi nition of Cellular Automaton in which links between cells can change during the computation. This is done locally by each cell, which can reach the neighbours of...