1728 search results - page 221 / 346 » Formal Modeling of Process Migration |
119
Voted
JOT
2010
14 years 11 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
113
click to vote
KESAMSTA
2010
Springer
14 years 11 months ago
2010
Springer
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
110
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
123
click to vote
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...