Sciweavers

752 search results - page 75 / 151
» The standard parts problem and the complexity of control com...
Sort
View
SIGCOMM
2009
ACM
14 years 2 months ago
A programmable, generic forwarding element approach for dynamic network functionality
Communication networks are growing exponentially, and new services and applications are being introduced unceasingly. To meet the demands of these services and applications, curre...
Ran Giladi, Niv Yemini
POPL
2006
ACM
14 years 8 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
BMCBI
2006
45views more  BMCBI 2006»
13 years 7 months ago
A simple spreadsheet-based, MIAME-supportive format for microarray data: MAGE-TAB
Background: Sharing of microarray data within the research community has been greatly facilitated by the development of the disclosure and communication standards MIAME and MAGEML...
Tim F. Rayner, Philippe Rocca-Serra, Paul T. Spell...
CORR
2010
Springer
168views Education» more  CORR 2010»
13 years 6 months ago
Adding HL7 version 3 data types to PostgreSQL
The HL7 standard is widely used to exchange medical information electronically. As a part of the standard, HL7 defines scalar communication data types like physical quantity, poin...
Yeb Havinga, Willem Dijkstra, Ander de Keijzer
GLOBECOM
2010
IEEE
13 years 5 months ago
A Dynamic Framed ALOHA Scheme for Batch Resolution in Practical CSMA-Based Wireless Networks
Abstract--The batch resolution problem consists in arbitrating the channel access of a group of nodes in a wireless network in order to collect a single packet from each node in th...
Andrea Zanella