1288 search results - page 74 / 258 » On Analysis of Design Component Contracts: A Case Study |
105
click to vote
DAC
2009
ACM
16 years 26 days ago
2009
ACM
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...
DOLAP
2006
ACM
15 years 5 months ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...
133
click to vote
MOBICOM
2006
ACM
15 years 5 months ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
CHI
2008
ACM
16 years 7 days ago
2008
ACM
In this paper, we describe an innovative tool that supports the design and evaluation of the information architecture of a Web site. The tool uses Latent Semantic Analysis and hie...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...