4286 search results - page 47 / 858 » Formalizing Service Interactions |
CORR
2009
Springer
13 years 6 months ago
2009
Springer
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
MDM
2007
Springer
14 years 2 months ago
2007
Springer
—We discuss the design of interaction ambients, which are ambients populated with fixed and mobile services, accessible through distributed interfaces. To make the interaction e...
IEEESCC
2008
IEEE
14 years 2 months ago
2008
IEEE
The semantic web services composition process arranges several web services into one composite to realize complex workflows. To do this, semantic metadata of web services’ desc...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
One often meets the argument that the adoption of mobile Internet services is difficult to understand due to a lack of relevant research. However, much research has already been c...
FIW
2003
13 years 10 months ago
2003
SERL is a language and framework for managing the triggering and execution of services in a single-user, single-network-component (SUSC) environment. We propose enhancements to SER...