6031 search results - page 707 / 1207 » Communicating Transaction Processes |
194
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Being able to access and provide Internet services anonymously is an important mechanism to ensure freedom of speech in vast parts of the world. Offering location-hidden...
178
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
220
click to vote
ICICS
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
166
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
171
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...