195 search results - page 24 / 39 » A Case for Automatic Exception Handling |
FORTE
2000
13 years 9 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
ENTCS
2006
13 years 7 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
MSR
2009
ACM
14 years 2 months ago
2009
ACM
For popular software systems, the number of daily submitted bug reports is high. Triaging these incoming reports is a time consuming task. Part of the bug triage is the assignment...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: A Bearing-Only TMA running on a submarine, which can exploit the crossbearing effect from sensors installed at different locations needs no own manouevre for convergence, if the ...