Sciweavers

4434 search results - page 68 / 887
» On the Composition of Hybrid Systems
Sort
View
JMM2
2006
80views more  JMM2 2006»
15 years 6 months ago
Implementing Holistic Dimensions for a Facial Composite System
Facial composites are pictures of human faces. These are normally constructed by victims and witnesses of crime who describe a suspect's face and then select individual facial...
Charlie D. Frowd, Vicki Bruce, Alex H. McIntyre, D...
NIME
2004
Springer
148views Music» more  NIME 2004»
15 years 11 months ago
EyeMusic: Making Music with the Eyes
Though musical performers routinely use eye movements to communicate with each other during musical performances, very few performers or composers have utilized eye tracking devic...
Anthony J. Hornof, Linda Sato
FM
2003
Springer
92views Formal Methods» more  FM 2003»
15 years 11 months ago
Composing Invariants
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
Michel Charpentier
JOT
2010
115views more  JOT 2010»
15 years 29 days ago
A Rule-Driven Approach for composing Viewpoint-oriented Models
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
Adil Anwar, Sophie Ebersold, Bernard Coulette, Mah...
ENTCS
2008
127views more  ENTCS 2008»
15 years 6 months ago
HYPE Applied to the Modelling of Hybrid Biological Systems
HYPE is a process algebra developed to model hybrid systems
Vashti Galpin, Jane Hillston, Luca Bortolussi