820 search results - page 57 / 164 » Action Languages |
FIW
2007
13 years 9 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
ICCL
1992
IEEE
14 years 8 days ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
DNA
2007
Springer
14 years 2 months ago
2007
Springer
We consider theoretical properties of the template-guided recombination operation. In particular, we consider the decidability of whether two sets of templates are equivalent, that...
ICALP
1999
Springer
14 years 14 days ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...