1737 search results - page 209 / 348 » On Interpolation in Existence Logics |
167
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
181
click to vote
TRUSTBUS
2007
Springer
16 years 15 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
157
click to vote
WSFM
2007
Springer
16 years 14 days ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
174
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
129
click to vote
IEEECIT
2006
IEEE
16 years 12 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...