4385 search results - page 804 / 877 » Abstraction for Concurrent Objects |
106
click to vote
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
103
click to vote
CTRSA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. A redactable signature scheme for a string of objects supports verification even if multiple substrings are removed from the original string. It is important that the re...
100
click to vote
STACS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present approximation algorithms for almost all variants of the multicriteria traveling salesman problem (TSP), whose performances are independent of the number k of c...
ADBIS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Caching data reduces user-perceived latency and often enhances availability in case of server crashes or network failures. DB caching aims at local processing of declarat...
AMMA
2009
Springer
15 years 5 months ago
2009
Springer
ABSTRACT: We examine an environment where goods and privately informed buyers arrive stochastically to a market. A seller in this setting faces a sequential allocation problem with...