201 search results - page 28 / 41 » On the Decidability of Model-Checking for P Systems |
RTA
2007
Springer
15 years 5 months ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
MIDDLEWARE
2007
Springer
2007
Springer
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems
15 years 5 months ago
Monitoring and management operations that query nodes based on their availability can be extremely useful in a variety of largescale distributed systems containing hundreds to thou...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Voters in a democracy have the responsibility to learn about the candidates and issues on which they are deciding. The internet offers voters unparalleled opportunities for findin...
P2P
2007
IEEE
15 years 6 months ago
2007
IEEE
Range queries are a very powerful tool in a wide range of data management systems and are vital to a multitude of applications. The hierarchy of structured overlay systems can be ...
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Agents must decide with whom to interact, which is nontrivial when no central directories are available. A classical decentralized approach is referral systems, where agents adapt...