3931 search results - page 339 / 787 » Separation logic and abstraction |
180
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
180
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The study of human behavior during driving is of primary importance for the improvement of drivers' security. This study is complex because of numerous situations in which the...
205
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
195
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
179
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...