1728 search results - page 146 / 346 » Formal Modeling of Process Migration |
143
click to vote
SPLC
2010
15 years 27 days ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
134
click to vote
BPM
2007
Springer
15 years 4 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
114
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
143
click to vote
IJIS
2002
15 years 2 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
134
click to vote
COLLABORATION
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...