17789 search results - page 260 / 3558 » Exceptional Use Cases |
195
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
174
click to vote
JURIX
2008
15 years 8 months ago
2008
: There is a growing awareness that the national judge plays a vital role in the European legal system, as is illustrated by the emergence of various initiatives for the cross-bord...
131
Voted
CSDA
2008
15 years 6 months ago
2008
We derive second-order expressions for the asymptotic bias and variance of the log relative incidence estimator for the self-controlled case series method in a simplified scenario...
174
click to vote
QSIC
2009
IEEE
16 years 1 months ago
2009
IEEE
—A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its orig...
163
click to vote
ECBS
2005
IEEE
16 years 7 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...