14190 search results - page 2505 / 2838 » Abstractions for hybrid systems |
172
click to vote
FASE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
177
click to vote
FMICS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
232
click to vote
FOIKS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
224
click to vote
ADBIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Set-valued attributes are convenient to model complex objects occurring in the real world. Currently available database systems support the storage of set-valued attribut...
227
click to vote
AFRIGRAPH
2001
ACM
15 years 11 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...