3827 search results - page 421 / 766 » The Epsilon Generation Language |
197
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
172
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
158
click to vote
AAAI
2010
15 years 8 months ago
2010
We discuss challenges and opportunities for developing generalized task markets where human and machine intelligence are enlisted to solve problems, based on a consideration of th...
185
click to vote
BIS
2007
15 years 8 months ago
2007
Choreography description languages have been put forward for capturing sets of interactions and their control and data dependencies, seen from a global perspective. Choreographies ...
203
click to vote
BNCOD
2007
15 years 8 months ago
2007
The XQuery language is the standard query language for XML. The result of XQuery queries are typically XML documents in other formats. We introduce the term output schemas of an X...