Sciweavers

1087 search results - page 48 / 218
» Modelling and Implementing Complex Systems with Timebands
Sort
View
ATAL
2007
Springer
15 years 8 months ago
Normative system games
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 6 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ERSHOV
2003
Springer
15 years 7 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
JCP
2007
120views more  JCP 2007»
15 years 1 months ago
Application of Multi-Attribute Decision Making Approach to Learning Management Systems Evaluation
—The article presents an approach to the development of multi-attribute decision making model that is based on DEX, an expert system shell for multi-attribute decision support. W...
Tanja Arh, Borka Jerman-Blazic
PE
2011
Springer
266views Optimization» more  PE 2011»
14 years 9 months ago
Lumping partially symmetrical stochastic models
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
Souheib Baarir, Marco Beccuti, Claude Dutheillet, ...