554 search results - page 51 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
108
Voted
SERVICES
2008
15 years 2 months ago
2008
an abstract form of service composition where Web services are represented as nondeterministic communicating automata. Considering the case in which communication is done via chan...
WIOPT
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— We study the problem of establishing secure communication channels in resource-constrained wireless networks using key predistribution. Pairwise communication channels ...
112
click to vote
MOBICOM
1999
ACM
15 years 4 months ago
1999
ACM
We present the results of a performance evaluation of link layer error recovery over wireless links. Our analysis is based upon a case study of the circuit-switched data service i...
134
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
105
click to vote
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— The so-called receiver multiuser diversity aided multistage minimum mean-square error multiuser detector (RMD/MS-MMSE MUD), which was proposed previously by the author,...