Sciweavers

3943 search results - page 279 / 789
» Architecture-Level Requirements Specification
Sort
View
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 6 months ago
Dynamical issues in interactive representation of physical objects
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
Jean-Loup Florens, Alina Voda, Daniela Urma
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 6 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
CPHYSICS
2008
88views more  CPHYSICS 2008»
15 years 6 months ago
Simulation approaches to soft matter: Generic statistical properties vs. chemical details
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
Matej Praprotnik, Christoph Junghans, Luigi Delle ...
EOR
2008
100views more  EOR 2008»
15 years 6 months ago
Coordination of stocking decisions in an assemble-to-order environment
In this paper we study an assemble-to-order environment involving a short-life-cycle product. The product is sold in two different configurations, each requiring a unique componen...
Xiaohong Zhang, Jihong Ou, Stephen M. Gilbert
IJAOSE
2008
97views more  IJAOSE 2008»
15 years 6 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...