Sciweavers

2776 search results - page 469 / 556
» System-Level Abstraction Semantics
Sort
View
CP
2003
Springer
14 years 3 months ago
A Synthesis of Constraint Satisfaction and Constraint Solving
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
Michael J. Maher
DBISP2P
2003
Springer
136views Database» more  DBISP2P 2003»
14 years 3 months ago
Building Content-Based Publish/Subscribe Systems with Distributed Hash Tables
Abstract. Building distributed content–based publish/subscribe systems has remained a challenge. Existing solutions typically use a relatively small set of trusted computers as b...
David K. Tam, Reza Azimi, Hans-Arno Jacobsen
CCGRID
2002
IEEE
14 years 3 months ago
Latency Performance of SOAP Implementations
Abstract— This paper presents an experimental evaluation of the latency performance of several implementations of Simple Object Access Protocol (SOAP) operating over HTTP, and co...
Dan Davis, Manish Parashar
HASE
2002
IEEE
14 years 3 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
GI
2009
Springer
14 years 2 months ago
SYGo - A Location-Based Game Adapted from the Board Game Scotland Yard
Abstract. In this paper we introduce SYGo, an innovative hide-andseek game which is part of the AMOGA research project of the University of Bonn in cooperation with and funded by D...
Mark Schmatz, Katja Henke, Clemens Türck, Chr...