Sciweavers

642 search results - page 58 / 129
» Roles Versus Classes
Sort
View
SAINT
2009
IEEE
15 years 11 months ago
Understanding the Challenges in Securing Internet Routing
The Internet routing system plays an essential role of glueing together tens of thousands of individual networks to create a global data delivery substrate. Over the years many ef...
Ricardo V. Oliveira, Mohit Lad, Lixia Zhang
GLOBECOM
2006
IEEE
15 years 10 months ago
Improvement of WLAN QoS Capability via Statistical Multiplexing
Abstract— This paper presents an analytical model for evaluating the capability of wireless LANs (WLANs) to provision quantitative quality of service (QoS) guarantees. We conside...
Yu Cheng, Lin Cai, Xinhua Ling, Wei Song, Weihua Z...
PLDI
2004
ACM
15 years 10 months ago
A generalized algorithm for graph-coloring register allocation
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...
Michael D. Smith, Norman Ramsey, Glenn H. Holloway
CSFW
1999
IEEE
15 years 8 months ago
A Meta-Notation for Protocol Analysis
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln...
SERP
2003
15 years 5 months ago
Polymorphism in Object-Oriented Contract Verification
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
Isabel Nunes