356 search results - page 43 / 72 » Towards modular i* models |
DSRT
2009
IEEE
14 years 2 months ago
2009
IEEE
—To support the evacuation process of crowds from emergency situations, we have developed a wearable device, LifeBelt, for vibro tactile guidance of individuals in panic towards ...
ENTCS
2007
13 years 7 months ago
2007
We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirectio...
ENTCS
2006
13 years 7 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
MM
2003
ACM
14 years 28 days ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...