1681 search results - page 227 / 337 » Formal Design of Distributed Control Systems with Lustre |
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
GRID
2008
Springer
14 years 9 months ago
2008
Springer
The medical community is producing and manipulating a tremendous volume of digital data for which computerized archiving, processing and analysis is needed. Grid infrastructures ar...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— In this paper, we study the dynamics of a viral spreading process in random geometric graphs (RGG). The spreading of the viral process we consider in this paper is closely rela...
IWAN
2000
Springer
15 years 1 months ago
2000
Springer
A novel approach to quality of service control in an active service network (application layer active network) is described. The approach makes use of a distributed genetic algori...
SIGCOMM
2012
ACM
13 years 10 days ago
2012
ACM
The paradigm of information-centric networking subsumes recent approaches to integrate content replication services into a future Internet layer. Current concepts foster either a ...