4290 search results - page 700 / 858 » Formal Approaches to Teamwork |
168
click to vote
ECMDAFA
2005
Springer
16 years 23 hour ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
165
click to vote
EPEW
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
163
click to vote
ESWS
2005
Springer
16 years 21 hour ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
193
click to vote
FORMATS
2005
Springer
16 years 19 hour ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
157
click to vote
FORMATS
2005
Springer
16 years 19 hour ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...