2409 search results - page 48 / 482 » Logical systems for structured specifications |
188
click to vote
ISORC
1998
IEEE
15 years 9 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
128
click to vote
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
152
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
135
click to vote
CIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
170
click to vote
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...