Sciweavers

1226 search results - page 116 / 246
» Generating Abstractions from Static Domain Analysis
Sort
View
POLICY
2005
Springer
14 years 1 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...
CVPR
2010
IEEE
14 years 4 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
14 years 2 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
AUSDM
2006
Springer
114views Data Mining» more  AUSDM 2006»
13 years 12 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...
IANDC
2007
151views more  IANDC 2007»
13 years 8 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