796 search results - page 75 / 160 » An Overview of Separation Logic |
122
click to vote
BIRTHDAY
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
126
Voted
APWEB
2008
Springer
15 years 2 months ago
2008
Springer
Information exchanges in P2P networks have become very popular in recent years. However, tracing how data circulates between peers and how data modifications are performed during t...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
102
Voted
SPLC
2008
15 years 2 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
114
Voted
SWAP
2008
15 years 2 months ago
2008
Ontology evolution is a complex problem. In our work, we focus on issues related to change management, particularly consistency maintenance and we present in this paper, an overvie...