780 search results - page 40 / 156 » Compositional Quantitative Reasoning |
95
Voted
CCR
2010
14 years 10 months ago
2010
Infrastructure as a Service (IaaS) providers keep extending with new features the computing infrastructures they offer on a pay per use basis. In this paper we explore reasons and...
130
click to vote
JAIR
1998
15 years 19 days ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
101
click to vote
SIGSOFT
1998
ACM
15 years 5 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
116
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
117
Voted
ENTCS
2008
15 years 1 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...