3931 search results - page 503 / 787 » Separation logic and abstraction |
240
click to vote
POPL
1993
ACM
15 years 11 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
197
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
179
click to vote
FOAL
2007
ACM
15 years 11 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
200
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- This paper presents a comparison of three different design concepts for Genetic Fuzzy systems. We apply a Symbiotic Evolution that uses the Michigan approach and two app...
220
click to vote
ADBIS
2006
Springer
15 years 11 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...