2266 search results - page 186 / 454 » A generic component model for building systems software |
172
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
182
click to vote
CASCON
1997
15 years 7 months ago
1997
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...
179
click to vote
CAD
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
164
click to vote
DNA
2006
Springer
15 years 8 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...
208
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...