1875 search results - page 76 / 375 » A Calculus of Broadcasting Systems |
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
ICARIS
2009
Springer
14 years 2 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— We consider a queueing system with controllable service rate; for example, a transmitter whose rate can be controlled by varying the transmission power. For such a system we ob...
PPDP
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
LCPC
1995
Springer
13 years 11 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...