Sciweavers

310 search results - page 9 / 62
» Overview of WebCLEF 2005
Sort
View
BIRTHDAY
2005
Springer
14 years 1 months ago
Overview on Decentralized Establishment of Multi-lateral Collaborations
Abstract. Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guaran...
Andreas Wombacher
EEE
2005
IEEE
14 years 1 months ago
Overview on Decentralized Establishment of Consistent Multi-Lateral Collaborations Based on Asynchronous Communication
Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consi...
Andreas Wombacher, Peter Fankhauser, Karl Aberer
NOLISP
2005
Springer
14 years 1 months ago
The COST-277 European Action: An Overview
This paper summarizes the rationale for proposing the COST-277 “nonlinear speech processing” action, and the work done during these last four years. In addition, future perspec...
Marcos Faúndez-Zanuy, Unto Laine, Gernot Ku...
VSTTE
2005
Springer
14 years 1 months ago
An Overview of Separation Logic
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
John C. Reynolds
SIGMOD
2005
ACM
153views Database» more  SIGMOD 2005»
14 years 8 months ago
Tools for composite web services: a short overview
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
Richard Hull, Jianwen Su