6581 search results - page 1229 / 1317 » Formalizing Design Patterns |
167
click to vote
SAGA
2005
Springer
15 years 11 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...
206
click to vote
SG
2005
Springer
15 years 11 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...
160
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
186
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
175
click to vote
JCDL
2004
ACM
15 years 11 months ago
2004
ACM
Creating, maintaining, or using a digital library requires the manipulation of digital documents. Information workspaces provide a visual representation allowing users to collect,...