1288 search results - page 173 / 258 » On Analysis of Design Component Contracts: A Case Study |
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
Deep-submicron designs have to take care of process variation effects as variations in critical process parameters result in large variations in access latencies of hardware compo...
107
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
118
click to vote
EXPCS
2007
15 years 5 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
105
click to vote
COST
2007
Springer
15 years 7 months ago
2007
Springer
This study investigates how the psychological notion of affordance, known from human computer interface design, can be adopted for the analysis and design of communication of a use...
153
click to vote
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...