4286 search results - page 509 / 858 » Formalizing Service Interactions |
125
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
142
click to vote
SSS
2007
Springer
15 years 11 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
118
click to vote
ICALT
2006
IEEE
15 years 11 months ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...
121
click to vote
CONEXT
2006
ACM
15 years 11 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
163
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...