Web services have been pointed as a suitable technology for the development and execution of distributed applications. However, the Web service architecture still lacks facilities...
Many signals of interest are corrupted by faults of an unknown type. We propose an approach that uses Gaussian processes and a general “fault bucket” to capture a priori uncha...
Michael A. Osborne, Roman Garnett, Kevin Swersky, ...
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
Current cloud computing infrastructure offerings are lacking in interoperability, which is a hindrance to the advancement and adoption of the cloud computing paradigm. As clouds ar...
Abstract— Many robotics applications require a human operator to monitor multiple robots that collaborate to achieve the operator’s goals. Most approaches to such monitoring fo...