15792 search results - page 2599 / 3159 » Computational Abstraction Steps |
205
click to vote
ICFEM
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
176
click to vote
LOCA
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
234
click to vote
SG
2005
Springer
16 years 21 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...
247
click to vote
STORYTELLING
2005
Springer
16 years 21 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....
217
click to vote
ASWSD
2004
Springer
16 years 18 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...