147 search results - page 28 / 30 » Relational Parametricity and Separation Logic |
104
click to vote
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
102
click to vote
CSL
2010
Springer
15 years 22 days ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
103
click to vote
JBCB
2007
14 years 11 months ago
2007
Mechanistic models for transcriptional regulation are derived using the methods of equilibrium statistical mechanics, to model equilibrating processes that occur at a fast time sc...
141
click to vote
CSL
2007
Springer
15 years 5 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
100
Voted
IFM
2007
Springer
15 years 5 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ā£Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Speciļ¬cation and Veriļ¬cation of a MPI Implementation for a MP-SoC...