Sciweavers

1393 search results - page 81 / 279
» From Models to Interactive Systems Tool Support and XIML
Sort
View
FAC
2000
114views more  FAC 2000»
15 years 6 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 7 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
ENASE
2009
179views Hardware» more  ENASE 2009»
15 years 4 months ago
Evolving System's Modeling and Simulation through Reflective Petri Nets
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
Lorenzo Capra, Walter Cazzola
DSVIS
2003
Springer
15 years 11 months ago
Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
Simone Diniz Junqueira Barbosa, Maíra Greco...
INTERACT
2003
15 years 7 months ago
Designing and Prototyping Multimodal Commands
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...
Marie-Luce Bourguet