239 search results - page 21 / 48 » Using Event Semantics for Modeling Contracts |
133
click to vote
BDIM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...
DALT
2009
Springer
15 years 1 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
108
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
76
Voted
CORR
2009
Springer
14 years 7 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...