1724 search results - page 271 / 345 » Models for Concurrency |
PPOPP
2005
ACM
14 years 2 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
CHI
2004
ACM
14 years 2 months ago
2004
ACM
As ubiquitous computing technology migrates into the home environment, there has been a concurrent effort to allow users to build and customize such technologies to suit their own...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We propose an adaptive 1-to-many negotiation strategy for multiagent coalition formation in dynamic, uncertain, real-time, and noisy environments. Our strategy focuses on multi-is...
ESORICS
2004
Springer
14 years 2 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...