3081 search results - page 444 / 617 » A Formal Ontology of Properties |
158
click to vote
ACSD
2005
IEEE
16 years 5 days ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
164
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
154
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
154
click to vote
FDL
2005
IEEE
16 years 4 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
158
click to vote
LCN
2005
IEEE
16 years 3 days ago
2005
IEEE
Algorithms by which peers join and leave structured overlay networks can be classified as passive or active. Passive topology maintenance relies on periodic background repair of n...