3103 search results - page 512 / 621 » Locating Features in Distributed Systems |
136
click to vote
PERCOM
2005
ACM
16 years 2 months ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...
125
Voted
WOSP
2010
ACM
15 years 9 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
102
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
During the past decade, the scientific community has witnessed the rapid accumulation of gene sequence data and data related to physiology and biochemistry of organisms. Bioinform...
98
Voted
SYNASC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...