4286 search results - page 95 / 858 » Formalizing Service Interactions |
134
click to vote
ENTCS
2006
15 years 6 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
169
click to vote
IEEESCC
2006
IEEE
16 years 7 days ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
136
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Discussions of agent interactions frequently characterize behavior as “coherent,” “collaborative,” “cooperative,” “competitive,” or “coordinated.” We propose a...
176
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
150
click to vote
EHCI
2004
15 years 7 months ago
2004
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...