239 search results - page 17 / 48 » Data Abstraction and Constraint Solving for Conformance Test... |
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— Robustness and reliability are critical issues in network management. To provide resiliency, a popular protection scheme against network failures is the simultaneous ro...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
CSCLP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
ICSE
2011
IEEE-ACM
13 years 2 days ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...