26151 search results - page 181 / 5231 » Parameterized system design |
178
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Due to the ever increasing complexity of electronic system (ES) design, the conceptual design phase and its realization in later phases of the design stream have become increasing...
152
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
In tangible learning systems, the facility to promote physically active engagement highlights the need to understand how different designs impact on action and interaction, and th...
216
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
168
click to vote
WOSS
2004
ACM
15 years 12 months ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...
168
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...