Sciweavers

13140 search results - page 186 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
SIGSOFT
2008
ACM
16 years 5 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
133
Voted
ICALT
2007
IEEE
15 years 11 months ago
Towards a Unified Learning Style Model in Adaptive Educational Systems
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
Elvira Popescu, Philippe Trigano, Costin Badica
145
Voted
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 8 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
DEXAW
2005
IEEE
116views Database» more  DEXAW 2005»
15 years 10 months ago
Towards Self-Predicting Systems: What If You Could Ask "What-If"?
Today, management and tuning questions are approached using if...then... rules of thumb. This reactive approach requires expertise regarding of system behavior, making it difficu...
Eno Thereska, Dushyanth Narayanan, Gregory R. Gang...
FAABS
2004
Springer
15 years 10 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang