Sciweavers

2324 search results - page 274 / 465
» Specifying interaction surfaces using interaction maps
Sort
View
TOG
2002
130views more  TOG 2002»
15 years 3 months ago
DyRT: dynamic response textures for real time deformation simulation with graphics hardware
In this paper we describe how to simulate geometrically complex, interactive, physically-based, volumetric, dynamic deformation models with negligible main CPU costs. This is achi...
Doug L. James, Dinesh K. Pai
143
Voted
NIPS
1994
15 years 5 months ago
Interference in Learning Internal Models of Inverse Dynamics in Humans
Experiments were performed to reveal some of the computational properties of the human motor memory system. We show that as humans practice reaching movements while interacting wi...
Reza Shadmehr, Tom Brashers-Krug, Ferdinando A. Mu...
SERP
2003
15 years 5 months ago
Scenario-Based Software Architecture Modeling Using Message Sequence Charts
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
Gerardo Padilla, Cuauhtémoc Lemus Olalde, M...
IJCSA
2006
95views more  IJCSA 2006»
15 years 4 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
TOPNOC
2008
15 years 4 months ago
Translating Message Sequence Charts to other Process Languages Using Process Mining
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
Kristian Bisgaard Lassen, Boudewijn F. van Dongen