1336 search results - page 41 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
139
click to vote
INFOCOM
1997
IEEE
15 years 7 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
128
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
151
Voted
ISSRE
2008
IEEE
15 years 9 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
121
click to vote
IWSSD
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
151
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...