2043 search results - page 193 / 409 » Reasoning About Security Models |
164
Voted
POPL
2000
ACM
15 years 9 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
158
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
163
click to vote
WIMOB
2008
IEEE
16 years 16 days ago
2008
IEEE
—One popular solution for reducing the resource consumption of Intrusion Detection System (IDS) in MANET is to elect a head-cluster (leader) to provide intrusion detection servic...
304
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing perf...
183
Voted
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...