31387 search results - page 384 / 6278 » Abstracts |
186
click to vote
ASM
2005
ASM
16 years 13 days ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
172
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
161
click to vote
TMRA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper describes TMRAP, an abstract web service interface for remote access to topic maps. It can be used to access a topic map repository to query or update a topic ...
148
click to vote
WINE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. An emerging way to sell and buy display ads on the Internet is via ad exchanges. RightMedia [1], AdECN [2] and DoubleClick Ad Exchange [3] are examples of such real-time ...
178
click to vote
MA
1999
Springer
15 years 11 months ago
1999
Springer
JavaSeal is a secure mobile agent kernel that provides a small set of abstractions for constructing agent applicahis paper describes the design of these abstractions and their imp...