1288 search results - page 120 / 258 » On Analysis of Design Component Contracts: A Case Study |
103
click to vote
ISCA
2007
IEEE
15 years 8 months ago
2007
IEEE
ACE analysis is a technique to provide an early reliability estimate for microprocessors. ACE analysis couples data from performance models with low level design details to identi...
163
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
109
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
105
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
103
Voted
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...