353 search results - page 4 / 71 » Compositional specification of behavioral semantics |
SOCO
2010
Springer
13 years 3 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
NIPS
2003
13 years 7 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” ...
WWW
2003
ACM
14 years 6 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...
IEEESCC
2005
IEEE
13 years 11 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. ...
SIGMOD
2005
ACM
14 years 5 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 ...