2137 search results - page 122 / 428 » Proving Abstract Non-interference |
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
123
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
107
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We present a grammar-based genetic programming framework for the solving the timetabling problem via the evolution of constructive heuristics. The grammar used for prod...
155
click to vote
DALT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
117
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...