Sciweavers

156 search results - page 23 / 32
» Evolving Behavioural Animation Systems
Sort
View
IJVR
2007
131views more  IJVR 2007»
14 years 9 months ago
From Physics-based Simulation to the Touching of Textiles: The HAPTEX Project
—While the animation and rendering techniques used in the domain of textile simulation have dramatically evolved during the last two decades, the ability to manipulate and modify...
Nadia Magnenat-Thalmann, Pascal Volino, Ugo Bonann...
SIGSOFT
2001
ACM
15 years 10 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel
ICSE
2003
IEEE-ACM
15 years 9 months ago
Detailing Architectural Design in the Tropos Methodology
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in so...
Carla T. L. L. Silva, Jaelson Brelaz de Castro, Jo...
75
Voted
ATAL
2009
Springer
15 years 2 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
IJSNET
2007
155views more  IJSNET 2007»
14 years 9 months ago
Distributed Bayesian fault diagnosis of jump Markov systems in wireless sensor networks
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...
Hichem Snoussi, Cédric Richard