15375 search results - page 2754 / 3075 » cans 2008 |
169
click to vote
FITRAMEN
2008
15 years 8 months ago
2008
The current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in more var...
198
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
158
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
210
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
146
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...