3009 search results - page 201 / 602 » The Expressive Rate of Constraints |
168
click to vote
FUIN
2008
15 years 6 months ago
2008
We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...
161
click to vote
JFP
2002
15 years 6 months ago
2002
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...
275
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
ConQueSt is a constraint-based querying system devised with the aim of supporting the intrinsically exploratory nature of pattern discovery. It provides users with an expressive c...
151
click to vote
IRI
2008
IEEE
16 years 29 days ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
152
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...