10263 search results - page 17 / 2053 » From Use Cases to System Operation Specifications |
AMAI
2004
Springer
13 years 7 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
BIRTHDAY
2000
Springer
13 years 11 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
DAC
1990
ACM
13 years 11 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
ICCBR
2009
Springer
14 years 2 months ago
2009
Springer
In forestry, it is important to be able to accurately determine the volume of timber in a harvesting site and the products that could potentially be produced from that timber. We d...
JUCS
2008
13 years 7 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...