115 search results - page 14 / 23 » Meta-Reasoning in Executable Temporal Logic |
113
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
103
click to vote
RIDE
1999
IEEE
15 years 3 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
CVIU
2004
14 years 11 months ago
2004
We present a new representation and recognition method for human activities. An activity is considered to be composed of action threads, each thread being executed by a single act...
112
click to vote
CC
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
108
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...