Sciweavers

1365 search results - page 138 / 273
» Locality in a web of streams
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
COMPSAC
2008
IEEE
16 years 20 days ago
SCCM: Service-Oriented Community Coordinated Multimedia Architecture
Community coordinated multimedia (CCM) envisions the paradigm of consuming multiple media via diversity display devices, converged networks, and heterogeneous platforms within a v...
Jiehan Zhou, Mika Rautiainen, Mika Ylianttila
ICC
2007
IEEE
122views Communications» more  ICC 2007»
16 years 16 days ago
HTTP Transfer Latency over SCTP and TCP in Slow Start Phase
— Current web applications use HTTP (Hyper Text Transfer Protocol) over TCP (Transmission Control Protocol) to retrieve objects over the Internet. SCTP (Stream Control Transmissi...
Yong-Jin Lee, Mohammed Atiquzzaman
ICMCS
2006
IEEE
141views Multimedia» more  ICMCS 2006»
16 years 7 days ago
A Decentralized Key Management Scheme in Overlay Multicast Network
The recent growth of the World Wide Web has sparked new research into using the Internet for novel types of group communication, like multiparty videoconferencing and real-time st...
Xingfeng Guo, Xiaodong Liu, Qionghai Dai
NOSSDAV
2001
Springer
15 years 10 months ago
Towards junking the PBX: deploying IP telephony
We describe the architecture and implementation of our Internet telephony test-bed intended to replace the departmental PBX (telephone switch). It interworks with the traditional ...
Wenyu Jiang, Jonathan Lennox, Henning Schulzrinne,...