3229 search results - page 217 / 646 » The Theory of Timed Automata |
163
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
Variables are the distinguishing new feature of XPath 2.0 which permits to select n-tuples of nodes in trees. It is known that the Core of XPath 2.0 captures n-ary first-order (FO...
199
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
235
click to vote
UMC
2000
15 years 10 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
141
click to vote
COGSCI
2006
15 years 6 months ago
2006
Flexibility in conceptual projection constitutes one of the most challenging issues in the embodiment and conceptual metaphor literatures. We sketch a theoretical proposal that pl...
176
click to vote
ITSSA
2006
15 years 6 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...