2043 search results - page 258 / 409 » Reasoning About Security Models |
115
Voted
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
95
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
83
Voted
IAT
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
105
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
107
Voted
ISPW
2005
IEEE
15 years 6 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...