4286 search results - page 213 / 858 » Formalizing Service Interactions |
164
click to vote
ICWE
2010
Springer
15 years 8 months ago
2010
Springer
: The use of patterns in data management is not new: in data warehousing, data marts are simple conceptual schemas with exactly one core entity, describing facts, surrounded by mul...
163
click to vote
SERVICES
2008
15 years 7 months ago
2008
In Service Oriented Architecture, each application is often designed with a set of reusable services and a business process. In order to retain the reusability of services, it is ...
193
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
181
click to vote
UCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...
170
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Several recently proposed infrastructures permit client applications to interact with distributed network-accessible services by simply ”plugging in” into a substrate that pro...