5904 search results - page 157 / 1181 » Requirements for a Composition Language |
102
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
118
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
142
Voted
CAISE
2007
Springer
15 years 7 months ago
2007
Springer
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
115
Voted
KBS
1998
15 years 3 months ago
1998
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...
132
Voted
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...