Sciweavers

552 search results - page 71 / 111
» Languages Modulo Normalization
Sort
View
SOSE
2008
IEEE
14 years 4 months ago
Model-Checking of Web Services Choreography
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
ICLP
2007
Springer
14 years 3 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
OOPSLA
2007
Springer
14 years 3 months ago
Democratizing the cloud
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
Erik Meijer
CIVR
2005
Springer
133views Image Analysis» more  CIVR 2005»
14 years 3 months ago
Hot Event Detection and Summarization by Graph Modeling and Matching
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
Yuxin Peng, Chong-Wah Ngo
ICALP
2005
Springer
14 years 3 months ago
Optimistic Asynchronous Atomic Broadcast
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
Klaus Kursawe, Victor Shoup