3931 search results - page 365 / 787 » Separation logic and abstraction |
172
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Quantized feedback control and quantized estimation have attracted a lot of attention in recent years with many results available on both research topics. In this paper,...
192
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
196
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
183
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
176
click to vote
WSC
2004
15 years 8 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...