1548 search results - page 69 / 310 » Semantics and Extensions of WS-Agreement |
199
Voted
AMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The advent of digital photography calls for effective techniques for managing growing amounts of color images. Systems that only rely on low-level image features are now...
208
click to vote
ESWS
2007
Springer
16 years 27 days ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
196
click to vote
DEXA
2005
Springer
16 years 7 days ago
2005
Springer
The first step in finding an efficient way to solve any difficult problem is making a complete, possibly formal, problem specification. This paper introduces a formal specifica...
170
Voted
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
157
Voted
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...