1179 search results - page 142 / 236 » Programming in Hybrid Constraint Languages |
214
click to vote
PADL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
111
click to vote
CP
2003
Springer
15 years 6 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
107
click to vote
DSS
2007
15 years 1 months ago
2007
International crime and terrorism have drawn increasing attention in recent years. Retrieving relevant information from criminal records and suspect communications is important in...
99
Voted
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...