618 search results - page 88 / 124 » Design Components: Towards Software Composition at the Desig... |
252
Voted
CBMS
2006
IEEE
15 years 9 months ago
2006
IEEE
The growing complexity of distributed biomedical application requirements present new challenges to the representation of software architectural analysis and design. This is the c...
145
Voted
CISSE
2007
Springer
15 years 7 months ago
2007
Springer
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
127
Voted
ASE
2008
15 years 3 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
139
Voted
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
168
Voted
TVLSI
2010
14 years 10 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...