2810 search results - page 183 / 562 » Contract-Based Component System Design |
142
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
241
Voted
AMT
2001
Springer
15 years 7 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
131
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
120
click to vote
DNA
2006
Springer
15 years 5 months ago
2006
Springer
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
114
click to vote
ATC
2007
Springer
15 years 5 months ago
2007
Springer
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...