10072 search results - page 158 / 2015 » Composition of Model Programs |
195
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
180
click to vote
EMSOFT
2005
Springer
15 years 11 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...
149
click to vote
COORDINATION
2010
Springer
15 years 9 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...
183
click to vote
ICWE
2004
Springer
15 years 11 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...
134
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...