9642 search results - page 1560 / 1929 » Semantics in Multimedia Systems |
121
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
147
Voted
WEBI
2007
Springer
15 years 11 months ago
2007
Springer
Implicitly structured content on the Web such as HTML tables and lists can be extremely valuable for web search, question answering, and information retrieval, as the implicit str...
141
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
151
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
126
click to vote
IAT
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...