Sciweavers

3911 search results - page 582 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
ESEC
1995
Springer
15 years 10 months ago
Improvise: Interactive Multimedia Process Visualization Environment
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
Naser S. Barghouti, Eleftherios Koutsofios, Edith ...
177
Voted
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 4 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
ACMACE
2009
ACM
15 years 9 months ago
Enhancing a motion capture interface by introducing context management
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
Francois Picard, Pascal Estraillier
ERSA
2006
115views Hardware» more  ERSA 2006»
15 years 8 months ago
Reconfigurable Acceleration of Robust Frequency-Domain Echo Cancellation
Acoustic echo control is of vital interest for hands-free operation of telecommunications equipment. An important property of an acoustic echo controller is its capability to hand...
Chun Hok Ho, Ka Fai Cedric Yiu, Jiaquan Huo, Sven ...
ENTCS
2002
145views more  ENTCS 2002»
15 years 6 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...