2766 search results - page 129 / 554 » Hybridizing a Logical Framework |
140
click to vote
CCS
2010
ACM
14 years 11 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...
154
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
133
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
124
click to vote
IDEAS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a simple and effective method to reduce the size of log data for recovery in main memory databases. Fuzzy checkpointing is known to be very efficient in main ...
146
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...