5255 search results - page 568 / 1051 » Formal Methods for Privacy |
222
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
210
click to vote
ACSC
2005
IEEE
16 years 21 days ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...
212
click to vote
APSEC
2005
IEEE
16 years 21 days ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
190
click to vote
SEFM
2005
IEEE
16 years 19 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
186
Voted
FM
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...