Sciweavers

1943 search results - page 293 / 389
» End-to-End Integration Testing
Sort
View
LOPSTR
2004
Springer
15 years 9 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
POLICY
2004
Springer
15 years 9 months ago
Security Policy Reconciliation in Distributed Computing Environments
A major hurdle in sharing resources between organizations is heterogeneity. Therefore, in order for two organizations to collaborate their policies have to be resolved. The proces...
Hao Wang, Somesh Jha, Miron Livny, Patrick Drew Mc...
PPSN
2004
Springer
15 years 9 months ago
Multi-objective Optimisation by Co-operative Co-evolution
This paper presents the integration between a co-operative co-evolutionary genetic algorithm (CCGA) and four evolutionary multiobjective optimisation algorithms (EMOAs): a multi-ob...
Kuntinee Maneeratana, Kittipong Boonlong, Nachol C...
VLDB
2004
ACM
169views Database» more  VLDB 2004»
15 years 9 months ago
Database Tuning Advisor for Microsoft SQL Server 2005
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
Sanjay Agrawal, Surajit Chaudhuri, Lubor Koll&aacu...
CVPR
2010
IEEE
15 years 9 months ago
Cascaded L1-norm Minimization Learning (CLML) Classifier for Human Detection
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
Ran Xu, Baochang Zhang, Qixiang Ye, jian bin Jiao