3931 search results - page 299 / 787 » Separation logic and abstraction |
150
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
164
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
161
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
179
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...
176
click to vote
FORMATS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...