10159 search results - page 1645 / 2032 » System Design Validation Using Formal Models |
213
click to vote
IPSN
2007
Springer
16 years 29 days ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
213
click to vote
IUI
2004
ACM
16 years 7 days 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...
174
click to vote
CEEMAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
137
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper describes the development and initial testing of a new and optimized version of a steady-hand manipulator for retinal microsurgery. In the steady-hand paradigm, the ...
188
click to vote
VLDB
2004
ACM
16 years 5 days ago
2004
ACM
This presentation will discuss several database technology challenges that are faced when building a data warehouse. It will touch on the challenges posed by high capacity drives ...