796 search results - page 81 / 160 » An Overview of Separation Logic |
UML
2005
Springer
15 years 6 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
107
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
EDOC
2003
IEEE
15 years 6 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
107
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
106
click to vote
FUZZY
2001
Springer
15 years 5 months ago
2001
Springer
This work studies the edge-based representation of directed acyclic graphs, as well as the properties of recombination operators working on it. It is shown that this representation...