Sciweavers

688 search results - page 53 / 138
» Extracting the abstraction pyramid from complex networks
Sort
View
ISNN
2005
Springer
15 years 3 months ago
Internet Traffic Prediction by W-Boost: Classification and Regression
Abstract. Internet traffic prediction plays a fundamental role in network design, management, control, and optimization. The self-similar and non-linear nature of network traffic m...
Hanghang Tong, Chongrong Li, Jingrui He, Yang Chen
SSS
2005
Springer
15 years 3 months ago
A Snap-Stabilizing DFS with a Lower Space Requirement
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
Alain Cournier, Stéphane Devismes, Vincent ...
APNOMS
2006
Springer
15 years 1 months ago
Proposal of Operation Method for Application Servers on NGN Using Unified Management Environment
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
Atsushi Yoshida, Yu Miyoshi, Yoshihiro Otsuka
ICSE
2003
IEEE-ACM
15 years 10 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
PKDD
2007
Springer
130views Data Mining» more  PKDD 2007»
15 years 4 months ago
Discovering Emerging Patterns in Spatial Databases: A Multi-relational Approach
Abstract. Spatial Data Mining (SDM) has great potential in supporting public policy and in underpinning society functioning. One task in SDM is the discovery of characterization an...
Michelangelo Ceci, Annalisa Appice, Donato Malerba