Sciweavers

7009 search results - page 9 / 1402
» Patterns in Complex Systems Modeling
Sort
View
MODELS
2009
Springer
14 years 2 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
ENTCS
2006
112views more  ENTCS 2006»
13 years 7 months ago
Synchronous Dataflow Pattern Matching
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
Grégoire Hamon
MSE
2002
IEEE
90views Hardware» more  MSE 2002»
14 years 18 days ago
Toward a Model-Based Approach to the Specification of Virtual Reality Environments
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
Daniela Fogli, Piero Mussio, Augusto Celentano, Fa...
ICPR
2004
IEEE
14 years 8 months ago
Two-Stage Classification System combining Model-Based and Discriminative Approaches
For the tasks of classification, two types of patterns can generate problems: ambiguous patterns and outliers. Furthermore, it is possible to separate classification algorithms in...
Jonathan Milgram, Mohamed Cheriet, Robert Sabourin
DIGRA
2005
Springer
14 years 1 months ago
Growing Complex Games
Do computer simulation games display emergent behavior? Are they models of complex systems or ‘life’ systems? This paper aims to explore and investigate how games studies can ...
Nicholas Glean