939 search results - page 152 / 188 » Semantic Abstraction and Quantum Computation |
CASSIS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
GC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
CCGRID
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract— This paper presents an experimental evaluation of the latency performance of several implementations of Simple Object Access Protocol (SOAP) operating over HTTP, and co...
GI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we introduce SYGo, an innovative hide-andseek game which is part of the AMOGA research project of the University of Bonn in cooperation with and funded by D...