974 search results - page 42 / 195 » Formal Modeling of Communication Traces |
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Recent world-wide crisis events have drawn new attention to the role information communication technology (ICT) can play in warning and response activities. Drawing on disaster so...
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
— Opportunistic network is a type of Delay Tolerant Networks (DTN) where network communication opportunities appear opportunistic. In this study, we investigate opportunistic net...
106
click to vote
ICFEM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
124
click to vote
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
IMPERIAL
1993
15 years 3 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...