866 search results - page 72 / 174 » A compositional semantics for CHR |
140
Voted
ECOOPW
1997
Springer
15 years 9 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
173
click to vote
MOBIDE
2003
ACM
15 years 10 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
131
Voted
CSL
2003
Springer
15 years 10 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
144
Voted
ICEBE
2007
IEEE
15 years 9 months ago
2007
IEEE
The service mediation that decouples service interactions is the foundation to support the service composition. The early service mediations are keyword and value-based, which req...
139
Voted
IJCAI
2003
15 years 6 months ago
2003
The promise of dynamic selection of business services and automatic integration of applications written to Web Services standards is yet to be realized. This is partially attribut...