847 search results - page 35 / 170 » Video-on-Demand Networks: Design Approaches and Future Chall... |
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
104
click to vote
SCESM
2006
ACM
15 years 4 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
INTERACT
2003
14 years 11 months ago
2003
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—The changes in the communication paradigm envisioned for future networks, with peer-to-peer/symmetric attachments gaining momentum and two IP (Internet Protocol) versions coexis...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Network tomography aims at inferring internal network characteristics based on measurements at the edge of the network. In loss tomography, in particular, the characteristic of in...