352 search results - page 46 / 71 » Proof-Checking a Data Link Protocol |
BMCBI
2005
13 years 7 months ago
2005
The current methods of publishing chemical information in bioscience articles are analysed. Using 3 papers as use-cases, it is shown that conventional methods using human procedur...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— A comprehensive performance evaluation of a crosslayer solution to increase users’ downlink data rates over HSDPA is provided. The solution consists of a proxy entity...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Transferring data reliably from Mars to Earth stations is becoming an appealing challenge in the design of interplanetary networks. In this view, the use of CCSDS-based protoco...
ERCIMDL
2003
Springer
14 years 19 days ago
2003
Springer
We describe “digitometric” services and tools that add value to open-access eprint archives using the Open Archives Initiative (OAI) Protocol for Metadata Harvesting. Celestial...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...