338 search results - page 17 / 68 » A Language for Task Orchestration and Its Semantic Propertie... |
69
Voted
AAAI
2006
14 years 12 months ago
2006
Many common web tasks can be automated by algorithms that are able to identify web objects relevant to the user's needs. This paper presents a novel approach to web object id...
113
click to vote
TLDI
2010
ACM
14 years 10 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
FSTTCS
2008
Springer
14 years 11 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
EJC
2008
14 years 12 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...