13752 search results - page 2275 / 2751 » Parallel and Distributed Haskells |
170
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
159
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
190
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
141
click to vote
DCOSS
2005
Springer
16 years 1 days ago
2005
Springer
We consider a scenario in which anonymous, finite-state sensing devices are deployed in an ad-hoc communication network of arbitrary size and unknown topology, and explore what p...
154
click to vote
DCOSS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Many sensor network applications demand tightly-bounded object detection quality. To meet such stringent requirements, we develop three sensing scheduling protocols to gu...