780 search results - page 78 / 156 » Compositional Quantitative Reasoning |
122
Voted
AGP
1996
IEEE
15 years 4 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
133
click to vote
IFIPTCS
2010
14 years 10 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
114
click to vote
MPC
2010
Springer
15 years 5 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
105
Voted
ROBOCUP
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
107
click to vote
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...