698 search results - page 99 / 140 » dagstuhl 2007 |
85
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
86
Voted
DAGSTUHL
1990
15 years 1 months ago
1990
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
95
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
108
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
109
click to vote
DAGSTUHL
2009
15 years 1 months ago
2009
Abstract. The goal of this roadmap paper is to summarize the state-ofthe-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. T...