1653 search results - page 191 / 331 » Timed analysis of security protocols |
ICNP
2007
IEEE
14 years 4 months ago
2007
IEEE
Power conservation is a general concern for mobile computing and communication. In this paper, we investigate the performance of the current 802.11 power saving mechanism (unschedu...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—Inter-contact time between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs) and central to forwarding algorithms and the end-to-end delay. Due to ...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
Web services, with an emphasis on open standards and flexibility, may provide benefits over existing capital markets integration practices. However, web services must first meet c...
ENTCS
2007
13 years 10 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
APBC
2003
13 years 11 months ago
2003
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...