4286 search results - page 821 / 858 » Formalizing Service Interactions |
140
click to vote
DBPL
2005
Springer
15 years 7 months ago
2005
Springer
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
175
click to vote
DIGRA
2005
Springer
15 years 7 months ago
2005
Springer
This paper is an addition to the discourse surrounding interface theory and pervasive games. A buzzword by nature, the term ´interface´ needs to be investigated and redefined in...
113
click to vote
SAGA
2005
Springer
15 years 7 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
152
Voted
SG
2005
Springer
15 years 7 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
105
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...