1472 search results - page 238 / 295 » On Model Checking Infinite-State Systems |
155
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
149
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
193
click to vote
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
152
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
204
click to vote
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...