2688 search results - page 29 / 538 » A formal semantics for P3P |
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
ICLP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
AUSAI
2004
Springer
14 years 28 days ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...