42738 search results - page 398 / 8548 » Search Computing Systems |
145
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
143
Voted
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
157
Voted
BERTINORO
2005
Springer
15 years 10 months ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
151
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
152
click to vote
DBISP2P
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...