1653 search results - page 191 / 331 » Timed analysis of security protocols |
145
Voted
ICNP
2007
IEEE
15 years 8 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...
132
click to vote
INFOCOM
2010
IEEE
15 years 1 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 ...
134
Voted
WWW
2003
ACM
16 years 3 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...
135
Voted
ENTCS
2007
15 years 2 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...
127
Voted
APBC
2003
15 years 3 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 ...