1228 search results - page 168 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
FM
1999
Springer
14 years 3 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
AFRIGRAPH
2001
ACM
14 years 2 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...
ASPDAC
2012
ACM
12 years 6 months ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
SIMUTOOLS
2008
14 years 7 days ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...