232 search results - page 26 / 47 » A Framework for Declarative Update Specifications in Logic P... |
106
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
128
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
144
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
139
Voted
VLDB
1990
ACM
15 years 7 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
163
Voted
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...