12774 search results - page 160 / 2555 » A Framework for Proof Systems |
146
click to vote
JLP
2008
15 years 4 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
159
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Anisotropic decompositions using representation systems such as curvelets, contourlet, or shearlets have recently attracted significantly increased attention due to the fact that...
135
click to vote
AOSE
2003
Springer
15 years 9 months ago
2003
Springer
We present our Component-Based Agent Framework, which enables a software engineer to design a set of agents by using a visual compo nent-based toolkit (Sun’s BDK), and wiring tog...
141
click to vote
JCS
2007
15 years 4 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
134
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...