Sciweavers

1226 search results - page 116 / 246
» Generating Abstractions from Static Domain Analysis
Sort
View
133
Voted
POLICY
2005
Springer
15 years 8 months ago
Policy Conflict Analysis for Quality of Service Management
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
Marinos Charalambides, Paris Flegkas, George Pavlo...
134
Voted
CVPR
2010
IEEE
15 years 10 months ago
A New Texture Descriptor Using Multifractal Analysis in Multi-orientation Wavelet Pyramid
Based on multifractal analysis in wavelet pyramids of texture images, a new texture descriptor is proposed in this paper that implicitly combines information from both spatial and...
Yong Xu, Xiong Yang, Haibin Ling, Hui Ji
HASE
2007
IEEE
15 years 9 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
112
Voted
AUSDM
2006
Springer
114views Data Mining» more  AUSDM 2006»
15 years 6 months ago
Consolidated Trees: An Analysis of Structural Convergence
When different subsamples of the same data set are used to induce classification trees, the structure of the built classifiers is very different. The stability of the structure of ...
Jesús M. Pérez, Javier Muguerza, Ola...
144
Voted
IANDC
2007
151views more  IANDC 2007»
15 years 2 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke