78 search results - page 16 / 16 » A Temporal Logic Approach to the Specification of Reconfigur... |
ATAL
2009
Springer
13 years 8 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
KBSE
1999
IEEE
13 years 11 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
ASE
2005
13 years 7 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...