Sciweavers

3006 search results - page 129 / 602
» Overview
Sort
View
COMPSAC
2004
IEEE
15 years 7 months ago
WS-FIT: A Tool for Dependability Analysis of Web Services
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
Nik Looker, Malcolm Munro, Jie Xu
CONCUR
2006
Springer
15 years 7 months ago
Probability and Nondeterminism in Operational Models of Concurrency
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
Roberto Segala
FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
15 years 7 months ago
Learning Meets Verification
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
Martin Leucker
3DIM
2003
IEEE
15 years 7 months ago
Image-Based Techniques for Digitizing Environments and Artifacts
This paper presents an overview of techniques for generating photoreal computer graphics models of real-world places and objects. Our group's early efforts in modeling scenes...
Paul E. Debevec
ICSE
2000
IEEE-ACM
15 years 6 months ago
Requirements engineering: a roadmap
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research i...
Bashar Nuseibeh, Steve M. Easterbrook