9370 search results - page 1495 / 1874 » An Abstract Notion of Application |
182
click to vote
SOCO
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
156
click to vote
SSD
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Many new applications involving moving objects require the collection and querying of trajectory data, so efficient indexing methods are needed to support complex spatio...
212
click to vote
SSD
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...
184
click to vote
TCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
194
click to vote
WINE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper we present a cooperative game theoretic interpretation of the shortest path problem. We consider a buying agent who has a budget to go from a specified sou...