1027 search results - page 145 / 206 » Representing and Reasoning with Operational Semantics |
121
Voted
EDBTW
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
101
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
118
click to vote
HASE
1999
IEEE
15 years 5 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
103
click to vote
COORDINATION
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
102
Voted
AAAI
2004
15 years 2 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...