5255 search results - page 570 / 1051 » Formal Methods for Privacy |
228
click to vote
IFM
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
205
click to vote
PPSWR
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
163
click to vote
SFM
2004
Springer
16 years 12 days ago
2004
Springer
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
175
click to vote
UML
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
181
click to vote
IPPS
2003
IEEE
16 years 10 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...