2043 search results - page 239 / 409 » Reasoning About Security Models |
177
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
153
click to vote
IADIS
2003
15 years 7 months ago
2003
Distributed data mining (DDM) is the semi-automatic pattern extraction of distributed data sources. The next generation of the data mining studies will be distributed data mining ...
146
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: The inference of a genetic network is a problem in which mutual interactions among genes are deduced using time-series of gene expression patterns. While a number of m...
145
click to vote
SYNTHESE
2011
15 years 20 days ago
2011
: My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of th...
178
click to vote
TPHOL
2009
IEEE
16 years 11 days 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,...