353 search results - page 4 / 71 » Compositional specification of behavioral semantics |
96
Voted
SOCO
2010
Springer
15 years 20 days ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
108
Voted
NIPS
2003
15 years 4 months ago
2003
We present a novel connectionist model for acquiring the semantics of a simple language through the behavioral experiences of a real robot. We focus on the “compositionality” ...
99
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
141
Voted
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
203
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...