5378 search results - page 1045 / 1076 » Base Logics in Argumentation |
188
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
184
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
189
click to vote
TLDI
2005
ACM
15 years 11 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
178
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
157
click to vote
EWSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...