2091 search results - page 400 / 419 » Modelling adaptive services for distributed systems |
110
click to vote
CSFW
2009
IEEE
15 years 3 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
102
click to vote
SBBD
2004
15 years 1 months ago
2004
Flexible and dynamic environments are characterized by high independence from connection participants, low control over available services and high tolerance to communication fail...
PERVASIVE
2006
Springer
14 years 11 months ago
2006
Springer
Today, several costs caused by road traffic may either be only roughly approximated, or cannot be clearly assigned to the drivers causing them, or both. They are typically distribu...
IJNSEC
2007
14 years 11 months ago
2007
In this paper a novel electronic payment protocol suitable for “peer-to-peer” (P2P) networks is presented. It implements electronic cash-based transactions, between buyers and...
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...