1656 search results - page 224 / 332 » Building Dependable Distributed Applications Using AQUA |
161
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
164
click to vote
ICMLA
2004
15 years 7 months ago
2004
Expressing web page content in a way that computers can understand is the key to a semantic web. Generating ontological information from the web automatically using machine learni...
218
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
Imagine many small devices send data to a single receiver, encrypted using the receiver’s public key. Assume an adversary that has the power to adaptively corrupt a subset of the...
185
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Target counting in sensor-based surveillance systems is an interesting task that potentially could have many important applications in practice. In such a system, each sensor ou...
203
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Affordable transparent clustering solutions to scale non-HPC applications on commodity clusters (such as Terracotta) are emerging for Java Virtual Machines (JVMs). Working in this ...