Sciweavers

233 search results - page 29 / 47
» The Behavior Markup Language: Recent Developments and Challe...
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 5 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICMT
2010
Springer
15 years 4 months ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
CORR
2010
Springer
100views Education» more  CORR 2010»
14 years 6 months ago
Discovering Knowledge from Multi-modal Lecture Recordings
Educational media mining is the process of converting raw media data from educational systems to useful information that can be used to design learning systems, answer research qu...
Kannan Rajkumar, Christian Guetl
IUI
2000
ACM
15 years 4 months ago
Expression constraints in multimodal human-computer interaction
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
Sandrine Robbe-Reiter, Noelle Carbonell, Pierre Da...
MBEES
2010
15 years 1 months ago
Towards Architectural Programming of Embedded Systems
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe