509 search results - page 19 / 102 » On the completeness of compositional reasoning methods |
127
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
137
click to vote
FORTE
2004
15 years 5 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
134
click to vote
SIGSOFT
1998
ACM
15 years 8 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...
153
click to vote
GIS
2009
ACM
15 years 9 months ago
2009
ACM
This paper proposes a method for generating a Focus+Glue +Context map for Web map services by improving existing fisheye views methods for cartographic data. While many studies h...
139
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...