Sciweavers

1472 search results - page 52 / 295
» Technique Integration for Requirements Assessment
Sort
View
184
Voted
APSEC
2009
IEEE
15 years 3 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ICSOC
2009
Springer
15 years 3 months ago
An Extensible Monitoring and Adaptation Framework
Several techniques have been defined for the monitoring and adaptation of applications. However, such techniques usually work in isolation and cannot be easily integrated to tackle...
Razvan Popescu, Athanasios Staikopoulos, Siobh&aac...
KDD
1994
ACM
96views Data Mining» more  KDD 1994»
15 years 9 months ago
DICE: A Discovery Environment Integrating Inductive Bias
: Most of Knowledge Discovery in Database (KDD) systems are integrating efficient Machine Learning techniques. In fact issues in Machine Learning and KDD are very close allowing fo...
Jean-Daniel Zucker, Vincent Corruble, J. Thomas, G...
ADC
2008
Springer
114views Database» more  ADC 2008»
15 years 7 months ago
An Integrated Access Control for Securely Querying and Updating XML Data
Many existing access controls use node filtering or querying rewriting techniques. These techniques require rather time-consuming processes such as parsing, labeling, pruning and/...
Maggie Duong, Yanchun Zhang
FASE
2012
Springer
14 years 1 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer