41 search results - page 5 / 9 » Correct-by-Construction Asynchronous Implementation of Modul... |
SOCO
2010
Springer
13 years 8 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
ISSS
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
FMCAD
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...