9842 search results - page 211 / 1969 » Compositional timing analysis |
150
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
147
Voted
APN
2009
Springer
15 years 9 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
127
click to vote
VISUALIZATION
2003
IEEE
15 years 8 months ago
2003
IEEE
Hand-crafted illustrations are often more effective than photographs for conveying the shape and important features of an object, but they require expertise and time to produce. W...
107
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
95
Voted
ENTCS
2008
15 years 2 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...