Sciweavers

1363 search results - page 26 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
59
Voted
INFOCOM
2000
IEEE
15 years 2 months ago
Data Broadcasting and Seamless Channel Transition for Highly-Demanded Videos
—One way to broadcast a popular video is to use a number of dedicated channels, each responsible for broadcasting some portion of the video periodically in a predefined way. The ...
Yu-Chee Tseng, Chi-Ming Hsieh, Ming-Hour Yang, Wen...
MMNS
2003
143views Multimedia» more  MMNS 2003»
14 years 11 months ago
M3G: A Mobile Multicast Multimedia Gateway for Seamless IPv4/IPv6 Transition
A growing interest in third generation wireless IP network and service technologies, push up the demand on IPv6 transition. Most of these services require mobility, multicast and m...
Yassine Hadjadj Aoul, Daniel Negru, Abdelhamid Naf...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 3 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
EMSOFT
2008
Springer
14 years 11 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
SIGECOM
2009
ACM
117views ECommerce» more  SIGECOM 2009»
15 years 4 months ago
Sybilproof transitive trust protocols
We study protocols to enable one user (the principal) to make potentially profitable but risky interactions with another user (the agent), in the absence of direct trust between ...
Paul Resnick, Rahul Sami