Sciweavers

2968 search results - page 175 / 594
» Network Programming Using PLAN
Sort
View
JAR
2006
99views more  JAR 2006»
15 years 2 months ago
An Integrated Approach to High Integrity Software Verification
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...
PEWASUN
2005
ACM
15 years 8 months ago
Characterizing and modeling user mobility in a cellular data network
The demand for cellular data networks is expected to increase with 3G and beyond technologies accompanied by highbandwidth consumer services, such as wireless video and camera pho...
Emir Halepovic, Carey L. Williamson
NOSSDAV
2001
Springer
15 years 7 months ago
Dimensioning server access bandwidth and multicast routing in overlay networks
Application-level multicast is a new mechanism for enabling multicast in the Internet. Driven by the fast growth of network audio/video streams, application-level multicast has be...
Sherlia Shi, Jonathan S. Turner, Marcel Waldvogel
LCN
2008
IEEE
15 years 9 months ago
Short-term QoS provisioning in MPLS ingress nodes
— In this paper, we propose a new switching scheme to improve the short-term delay and the packet jitter for real-time traffic. Even though, the proposed scheme is general and ca...
Masoomeh Torabzadeh, Wessam Ajib
WSC
2007
15 years 5 months ago
Expecting the unexpected: representing, reasoning about, and assessing construction project contingencies
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
G. Ryan Anderson, Nilufer Onder, Amlan Mukherjee