1288 search results - page 111 / 258 » On Analysis of Design Component Contracts: A Case Study |
129
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
ISPW
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a value-based software process framework that has been derived from the 4+1 theory of value-based software engineering (VBSE). The value-based process framework...
113
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
With the emergence of grid computing environment, performance measurement, analysis and prediction of non-dedicated distributed systems have become increasingly important. In this...
107
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
100
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
An infosuasive web application is mainly intended to be at the same time informative and persuasive, i.e., it aims at supporting knowledge needs and it has also the (declared or n...