4350 search results - page 247 / 870 » Case studies for contract-based systems |
154
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
— Simple yet useful analytical formulas for delay, slope and crosstalk noise amplitude for capacitively coupled two-, three- and infinite-line systems are derived assuming bus li...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of minimizing the size of a set system G such that every subset of {1, . . . , n} can be written as a disjoint union of at most k members of G, where k and...
155
click to vote
CEC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
175
click to vote
ITSSA
2006
15 years 6 months ago
2006
: Modern information systems are becoming more and more socio-technical systems, namely systems composed of human (social) agents and software (technical) systems operating togethe...
194
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...