1288 search results - page 145 / 258 » On Analysis of Design Component Contracts: A Case Study |
102
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
116
click to vote
ASE
2007
15 years 1 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
128
click to vote
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
104
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
104
click to vote
TOSEM
1998
15 years 1 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...