5615 search results - page 83 / 1123 » On the Computational Capabilities of Several Models |
165
click to vote
SP
2009
IEEE
16 years 17 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
161
click to vote
NAACL
1994
15 years 7 months ago
1994
This research characterizes the spontaneous spoken disfluencies typical of human-computer interaction, and presents a predictive model accounting for their occurrence. Data were c...
173
click to vote
EUROCRYPT
2008
Springer
15 years 7 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
130
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Multiagent systems have become popular over the last few years for building complex, adaptive systems in a distributed, heterogeneous setting. Multiagent systems tend to be more r...
148
click to vote
IWNAS
2008
IEEE
16 years 6 days ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...