107 search results - page 14 / 22 » A Generic Coordination Model for Pervasive Computing Based o... |
FPCA
1989
13 years 12 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
ICFP
2007
ACM
13 years 11 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
PERVASIVE
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Activity inference based on object use has received considerable recent attention. Such inference requires statistical models that map activities to the objects used in p...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...