Sciweavers

2550 search results - page 99 / 510
» The Meaning of Open Standards
Sort
View
143
Voted
CSL
2008
Springer
15 years 8 months ago
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
Ian Hodkinson, Angelo Montanari, Guido Sciavicco
CORR
2010
Springer
185views Education» more  CORR 2010»
15 years 6 months ago
Pseudorandom generators and the BQP vs. PH problem
It is a longstanding open problem to devise an oracle relative to which BQP does not lie in the Polynomial-Time Hierarchy (PH). We advance a natural conjecture about the capacity ...
Bill Fefferman, Christopher Umans
JSW
2007
106views more  JSW 2007»
15 years 6 months ago
Supporting Attribute-based Access Control in Authorization and Authentication Infrastructures with Ontologies
Abstract— In highly open systems like the Internet, attributebased access control (ABAC) has proven its appropriateness. This is reflected in the utilization of ABAC in authenti...
Torsten Priebe, Wolfgang Dobmeier, Christian Schl&...
ECTEL
2010
Springer
15 years 4 months ago
How to Share and Reuse Learning Resources: The ARIADNE Experience
ARIADNE is a European foundation that aims to foster "Share and Reuse" of learning resources. To support this goal, ARIADNE has created an infrastructure for managing lea...
Joris Klerkx, Bram Vandeputte, Gonzalo Parra, Jos&...
ENTCS
2011
77views more  ENTCS 2011»
15 years 1 months ago
Quantum Circuits: From a Network to a One-Way Model
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...
Larisse Voufo