55 search results - page 3 / 11 » birthday 2008 |
BIRTHDAY
2008
Springer
14 years 25 days ago
2008
Springer
The Scholten/Dijkstra "Pebble Game" is re-examined. We show that the algorithm lends itself to a distributed as well as an online version, and even to a reversed variant....
BIRTHDAY
2008
Springer
14 years 25 days ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
BIRTHDAY
2008
Springer
14 years 25 days ago
2008
Springer
In this paper, we give an overview of the framework of graph transformation units which provides syntactic and semantic means for analyzing, modeling, and structuring all kinds of ...
BIRTHDAY
2008
Springer
14 years 25 days ago
2008
Springer
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme