10072 search results - page 1728 / 2015 » Composition of Model Programs |
175
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
186
click to vote
ESA
2010
Springer
15 years 7 months ago
2010
Springer
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a...
183
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
144
Voted
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...
150
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Flux variability analysis is often used to determine robustness of metabolic models in various simulation conditions. However, its use has been somehow limited by the ...