Sciweavers

1990 search results - page 111 / 398
» Integrated Human Behavior Modeling
Sort
View
DSVIS
1998
Springer
15 years 7 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
INFOCOM
2008
IEEE
15 years 9 months ago
ACK-Clocking Dynamics: Modelling the Interaction between Windows and the Network
—A novel continuous time fluid flow model of the dynamics of the interaction between ACK-clocking and the link buffer is presented. A fundamental integral equation relating the...
Krister Jacobsson, Lachlan L. H. Andrew, Ao Tang, ...
HAPTICS
2005
IEEE
15 years 8 months ago
Stable and Responsive Six-Degree-of-Freedom Haptic Manipulation Using Implicit Integration
In this paper we present a novel approach for simulating the rigid body dynamics of a haptically manipulated object using implicit integration. Our formulation requires the linear...
Miguel A. Otaduy, Ming C. Lin
CODES
2006
IEEE
15 years 9 months ago
Integrated analysis of communicating tasks in MPSoCs
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
Simon Schliecker, Matthias Ivers, Rolf Ernst
UML
1998
Springer
15 years 7 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...