1268 search results - page 239 / 254 » Verifying distributed systems: the operational approach |
CSL
2006
Springer
13 years 10 months ago
2006
Springer
Enriching speech recognition output with sentence boundaries improves its human readability and enables further processing by downstream language processing modules. We have const...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
Our digital universe is growing, creating exploding amounts of data which need to be searched, protected and filtered. String searching is at the core of the tools we use to curb...
SIGMETRICS
2006
ACM
14 years 3 months ago
2006
ACM
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...