Sciweavers

856 search results - page 126 / 172
» Design Guidance through the Controlled Application of Constr...
Sort
View
HAPTICS
2005
IEEE
14 years 2 months ago
The Snaptic Paddle: A Modular Haptic Device
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...
Christopher E. Wong, Allison M. Okamura
UML
2004
Springer
14 years 2 months ago
Specifying Cross-Cutting Requirement Concerns
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
Geri Georg, Raghu Reddy, Robert B. France
UML
2005
Springer
14 years 2 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
VRST
2000
ACM
14 years 1 months ago
Animated deformations with radial basis functions
We present a novel approach to creating deformations of polygonal models using Radial Basis Functions (RBFs) to produce localized real-time deformations. Radial Basis Functions as...
Jun-yong Noh, Douglas Fidaleo, Ulrich Neumann
ENTCS
2006
231views more  ENTCS 2006»
13 years 8 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson