23413 search results - page 4531 / 4683 » or 2005 |
233
Voted
SG
2005
Springer
16 years 16 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...
167
Voted
SIGADA
2005
Springer
16 years 16 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
184
Voted
SPIN
2005
Springer
16 years 16 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...
207
Voted
SSD
2005
Springer
16 years 16 days ago
2005
Springer
Most recent research on querying and managing data streams has concentrated on traditional data models where the data come in the form of tuples or XML data. Complex types of strea...
181
Voted
SSD
2005
Springer
16 years 16 days ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...