3081 search results - page 119 / 617 » A Formal Ontology of Properties |
142
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
149
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
170
click to vote
CARDIS
1998
Springer
15 years 10 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
153
click to vote
ISMVL
2007
IEEE
16 years 20 days ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
146
click to vote
SEFM
2006
IEEE
16 years 11 days ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...