Sciweavers

3073 search results - page 139 / 615
» Real World Verification
Sort
View
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
14 years 3 months ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
14 years 3 months ago
Evolutionary Testing of Flag Conditions
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
André Baresel, Harmen Sthamer
LADS
2009
Springer
14 years 2 months ago
Temporal Planning in Dynamic Environments for P-CLAIM Agents
—Time and uncertainty of the environment are very important aspects in the development of real world applications. Another important issue for the real world agents is, the balan...
Muhammad Adnan Hashmi, Amal El Fallah-Seghrouchni
ICDE
2010
IEEE
184views Database» more  ICDE 2010»
14 years 2 months ago
On optimal anonymization for l+-diversity
-- Publishing person specific data while protecting privacy is an important problem. Existing algorithms that enforce the privacy principle called l-diversity are heuristic based d...
Junqiang Liu, Ke Wang
ESORICS
2006
Springer
14 years 1 months ago
Reducing the Dependence of SPKI/SDSI on PKI
Abstract. Trust-management systems address the authorization problem in distributed systems. They offer several advantages over other approaches, such as support for delegation and...
Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwo...