5130 search results - page 951 / 1026 » Constraint Query Languages |
82
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Ordering heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics are heuristics which enforce a fail first strategy by using the mi...
108
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive sin...
103
Voted
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
128
Voted
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...
105
click to vote
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...