Sciweavers

2200 search results - page 243 / 440
» Hop Integrity in Computer Networks
Sort
View
AINA
2003
IEEE
15 years 7 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
PDP
2006
IEEE
15 years 10 months ago
Video Quality Estimation of DCCP Streaming over Wireless Networks
This paper describes a streaming architecture simulation model above Network Simulator 2 (NS2) which allows to define specific transport properties. Multimedia contents are spec...
Sebastien Linck, Emmanuel Mory, Julien Bourgeois, ...
NETGAMES
2006
ACM
15 years 10 months ago
Telebuddies on the move: social stitching to enhance the networked gaming experience
In this paper we report on our work to enable “laid-back” social interactions using television as a primary interaction medium and mobile devices that participate as a seconda...
Kris Luyten, Kristof Thys, Steven Huypens, Karin C...
124
Voted
SC
2003
ACM
15 years 9 months ago
MRNet: A Software-Based Multicast/Reduction Network for Scalable Tools
We present MRNet, a software-based multicast/reduction network for building scalable performance and system administration tools. MRNet supports multiple simultaneous, asynchronou...
Philip C. Roth, Dorian C. Arnold, Barton P. Miller
147
Voted
EUSAI
2004
Springer
15 years 7 months ago
Distance-Based Access Modifiers Applied to Safety in Home Networks
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
Kjeld Høyer Mortensen, Kari R. Schougaard, ...