525 search results - page 83 / 105 » Using Checkable Types in Automatic Protocol Analysis |
DIAL
2004
IEEE
13 years 11 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Keyphrases are short phrases that reflect the main topic of a document. Because manually annotating documents with keyphrases is a time-consuming process, several automatic appro...
ICNP
2005
IEEE
14 years 1 months ago
2005
IEEE
In wireless networks, it is well understood what throughput can be achieved by nodes who can hear each other (i.e. nodes within a single cell)[1, 3]. The effects of nodes beyond t...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
—The presence of heterogeneous nodes (i.e., nodes with an enhanced energy capacity or communication capability) in a sensor network is known to increase network reliability and l...
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...