3440 search results - page 406 / 688 » Logics For Context-Free Languages |
219
click to vote
SAC
2003
ACM
16 years 19 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
215
click to vote
SIGSOFT
2003
ACM
16 years 19 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
195
click to vote
ICLP
2003
Springer
16 years 18 days ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
204
click to vote
ICLP
2009
Springer
16 years 45 min ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
190
click to vote
ICSE
2001
IEEE-ACM
15 years 12 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...