26472 search results - page 4969 / 5295 » Interactive |
186
click to vote
SAGA
2005
Springer
16 years 7 days 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...
200
click to vote
SEMWEB
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
216
click to vote
SG
2005
Springer
16 years 7 days 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...
170
click to vote
SPIN
2005
Springer
16 years 7 days 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...
211
click to vote
SSS
2005
Springer
16 years 7 days ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...