762 search results - page 80 / 153 » Behavioural Models for Group Communications |
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
WOWMOM
2009
ACM
14 years 1 months ago
2009
ACM
abstract Opening Remarks (9.00 – 9.15) Paul Lukowicz Keynote Lecture (9.15 – 10.15) Wearable Physiological Sensing Systems: Issues and Trade-offs in Real World Deployments Pres...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
—Although IP Multicast is an effective network primitive for best-effort, large-scale, multi-point communication, many multicast applications such as shared whiteboards, multi-pl...
COORDINATION
2009
Springer
14 years 9 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...