780 search results - page 51 / 156 » Compositional Quantitative Reasoning |
112
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
ICCS
2001
Springer
15 years 5 months ago
2001
Springer
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...
124
Voted
PDSE
1998
15 years 2 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
101
click to vote
JAIR
2007
15 years 21 days ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
118
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...