780 search results - page 51 / 156 » Compositional Quantitative Reasoning |
127
Voted
ICFEM
2009
Springer
15 years 7 days 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, ...
111
click to vote
ICCS
2001
Springer
15 years 7 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...
137
click to vote
PDSE
1998
15 years 3 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...
115
click to vote
JAIR
2007
15 years 2 months 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...
139
Voted
ATAL
2009
Springer
15 years 9 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...