310 search results - page 9 / 62 » Overview of WebCLEF 2005 |
92
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guaran...
100
Voted
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consi...
68
Voted
NOLISP
2005
Springer
15 years 5 months ago
2005
Springer
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...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
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...
167
Voted
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...