1087 search results - page 95 / 218 » Achieving Distributed Control through Model Checking |
CSFW
2009
IEEE
14 years 1 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...
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
WICOMM
2008
13 years 9 months ago
2008
This paper proposes iPTT, a peer-to-peer Push-to-Talk (PTT) service for Voice over IP (VoIP). In iPTT, a distributed and mobile-operator independent network architecture is presen...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we consider filtering false reports in braided multipath routing sensor networks. While multipath routing provides better resilience to various faults in sensor ne...
BMCBI
2010
13 years 9 months ago
2010
Background: With the rapidly falling cost and availability of high throughput sequencing and microarray technologies, the bottleneck for effectively using genomic analysis in the ...