15644 search results - page 2601 / 3129 » Brittle System Analysis |
174
click to vote
CHARME
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
191
click to vote
LOCA
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we present a robust, decentralized approach to RF-based location tracking. Our system, called MoteTrack, is based on low-power radio transceivers coupled with a mode...
233
click to vote
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...
246
click to vote
STORYTELLING
2005
Springer
16 years 16 days ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
199
click to vote
TACAS
2005
Springer
16 years 16 days ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...