2021 search results - page 105 / 405 » COCO: Composition Model and Composition Model Implementation |
131
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
157
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
132
click to vote
COORDINATION
2010
Springer
15 years 8 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
156
click to vote
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
146
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...