Sciweavers

3294 search results - page 348 / 659
» Taxonomy of Process Modeling Languages
Sort
View
HASE
2007
IEEE
15 years 6 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
UML
2004
Springer
15 years 10 months ago
OCL and Model Driven Engineering
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
Jean Bézivin, Thomas Baar, Tracy Gardner, M...
LADS
2007
Springer
15 years 10 months ago
Measuring Complexity of Multi-agent Simulations - An Attempt Using Metrics
Abstract The variety of existing agent-based simulations is overwhelming. However – especially when comparing agent-based simulation to other simulation paradigms, a reference fr...
Franziska Klügl
ISSTA
2009
ACM
15 years 9 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
MODELS
2007
Springer
15 years 10 months ago
Model-Based Design of Computer-Controlled Game Character Behavior
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
Jörg Kienzle, Alexandre Denault, Hans Vanghel...