70 search results - page 10 / 14 » A Note on The Rogers-Fine Identity |
AC
2000
Springer
14 years 3 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
IICAI
2003
14 years 7 days ago
2003
Computational Musicology is a new and emerging field which draws heavily from Computer Science, particularly Artificial Intelligence. Western Music has been under the gaze of thi...
ESORICS
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
CCS
2010
ACM
14 years 5 months ago
2010
ACM
In an attribute-based signature (ABS), users sign messages with any predicate of their attributes issued from an attribute authority. Under this notion, a signature attests not to...
NDSS
2006
IEEE
14 years 4 months ago
2006
IEEE
In an open environment such as the Internet, the decision to collaborate with a stranger (e.g., by granting access to a resource) is often based on the characteristics (rather tha...