554 search results - page 17 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
FAC
2007
14 years 10 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
Abstract--"Secure Device Pairing" is the process of bootstrapping a secure channel between two previously unassociated devices over a (usually wireless) human-imperceptib...
79
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
In time-varying wireless networks, the states of the communication channels are subject to random variations, and hence need to be estimated for efficient rate adaptation and sched...