Sciweavers

805 search results - page 44 / 161
» On the Semantics of Conditional Commitment
Sort
View
ICFP
2005
ACM
15 years 11 months ago
Witnessing side-effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alexander Aiken
AIPS
1996
15 years 1 months ago
Expressive Planning and Explicit Knowledge
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
Robert P. Goldman, Mark S. Boddy
TOPLAS
2008
79views more  TOPLAS 2008»
14 years 10 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken
ICWS
2007
IEEE
15 years 1 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
SSDBM
1997
IEEE
96views Database» more  SSDBM 1997»
15 years 4 months ago
Summarizability in OLAP and Statistical Data Bases
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...
Hans-Joachim Lenz, Arie Shoshani