10263 search results - page 84 / 2053 » From Use Cases to System Operation Specifications |
ECIS
2001
14 years 11 months ago
2001
Information systems development is regarded as a series of distributed activities aiming at allocating resources in order to promote the development and use of computer-based syst...
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
109
click to vote
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
ALGORITHMICA
2002
14 years 9 months ago
2002
In recent years there has been an upsurge of interest in spatial databases. A major issue is how to manipulate efficiently massive amounts of spatial data stored on disk in multidi...
PADS
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we introduce a new concept, network atomic operations (NAOs) to create a zero-cost consistent cut. Using NAOs, we define a wall-clock-time driven GVT algorithm call...