Sciweavers

1595 search results - page 7 / 319
» Illustrative Parallel Coordinates
Sort
View
COORDINATION
2006
Springer
13 years 11 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
VMV
2004
143views Visualization» more  VMV 2004»
13 years 8 months ago
Illustrating Magnetic Field Lines using a Discrete Particle Model
In this paper we demonstrate how a computational physics approach based on a discrete particle model can be employed for the visualization of magnetic field lines. This can be reg...
Thomas Klein, Thomas Ertl
ISORC
2008
IEEE
14 years 1 months ago
Structural Model of Real-Time Databases: An Illustration
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. The design of this kind of database requires the introducti...
Nizar Idoudi, Claude Duvallet, Bruno Sadeg, Rafik ...
CORR
2007
Springer
109views Education» more  CORR 2007»
13 years 7 months ago
A Framework to Illustrate Kinematic Behavior of Mechanisms by Haptic Feedback
: The kinematic properties of mechanisms are well known by the researchers and teachers. The theory based on the study of Jacobian matrices allows us to explain, for example, the s...
Qinqin Zhang, Damien Chablat, Fouad Bennis, Wei Zh...
COORDINATION
2006
Springer
13 years 11 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...