Sciweavers

19342 search results - page 354 / 3869
» Decentralised Process Modelling
Sort
View
ENTCS
2008
127views more  ENTCS 2008»
15 years 6 months ago
HYPE Applied to the Modelling of Hybrid Biological Systems
HYPE is a process algebra developed to model hybrid systems
Vashti Galpin, Jane Hillston, Luca Bortolussi
CAISE
2007
Springer
16 years 29 days ago
Negotiating Models
We investigate the process of collaborative modeling by analyzing conversations and loud thinking during modeling sessions and the resulting models themselves. We discovered the ba...
Peter Rittgen
WSC
1996
15 years 8 months ago
Verifying and Validating Simulation Models
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
Robert G. Sargent
MODELS
2009
Springer
16 years 1 months ago
Meta-model Pruning
Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc J...
MODELS
2009
Springer
16 years 1 months ago
Traceability-Based Change Awareness
Jonas Helming, Maximilian Koegel, Helmut Naughton,...