1653 search results - page 180 / 331 » Directed tree-width examples |
155
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
153
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
132
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The increasing gap of processor and main memory performance underlines the need for cache-optimizations, especially on memoryintensive applications. Tools which are able ...
144
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we introduce a compact system for fusing location data with data from simple, low-cost, non-location sensors to infer a user’s place and situational context. Speci...
173
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...