393 search results - page 42 / 79 » Dynamic Temporal Interpretation Contexts for Temporal Abstra... |
IJCAI
1989
13 years 9 months ago
1989
: This paper describes a novel method for displaying and examining the execution space of a rule interpreter. This method provides both coarse-grained and fine-grained views. The c...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
FATES
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
WWW
2006
ACM
14 years 2 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...