1288 search results - page 9 / 258 » On Analysis of Design Component Contracts: A Case Study |
ICARCV
2008
IEEE
15 years 4 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
EDOC
2004
IEEE
15 years 1 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
ISI
2006
Springer
14 years 9 months ago
2006
Springer
This paper aims to develop a new statistical measure to identify significant correlations among multiple events with spatial and temporal components. This new measure, ( , )K r t ,...
103
click to vote
JUCS
2008
14 years 9 months ago
2008
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...