12289 search results - page 627 / 2458 » computing 2006 |
201
click to vote
COMPLIFE
2006
Springer
15 years 11 months ago
2006
Springer
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...
176
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
192
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
159
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits sp...
172
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...