2409 search results - page 48 / 482 » Logical systems for structured specifications |
141
click to vote
ISORC
1998
IEEE
15 years 5 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...
CONCUR
1998
Springer
15 years 5 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 ...
116
Voted
EDBT
2008
ACM
16 years 28 days 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...
99
Voted
CIA
2003
Springer
15 years 6 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...
134
click to vote
AMAI
2004
Springer
15 years 21 days 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...