622 search results - page 81 / 125 » Web Testing for Reliability Improvement |
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
The detection and improvement of low-quality information is a key concern in Web applications that are based on user-generated content; a popular example is the online encyclopedi...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
VRML
2003
ACM
14 years 28 days ago
2003
ACM
This paper describes a robust mechanism for transmitting 3D meshes over the Internet. TCP/IP is an excellent means for reliable transport over the Internet. However, multi-user, r...
CG
2006
Springer
13 years 11 months ago
2006
Springer
In the last decade, proof-number search and Monte-Carlo methods have successfully been applied to the combinatorial-games domain. Proof-number search is a reliable algorithm. It re...