5252 search results - page 338 / 1051 » Logic in Access Control |
211
click to vote
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
199
click to vote
OWLED
2008
15 years 9 months ago
2008
We describe the architecture of a novel ontology and rule editor ACE View. The goal of ACE View is to simplify viewing and editing expressive and syntactically complex OWL/SWRL kno...
203
click to vote
CNL
2009
15 years 8 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
233
click to vote
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
— The recent investigations on interleave-division multiple-access (IDMA) have demonstrated its advantage in supporting high-data-rate and multi-rate services over wireless fadin...
271
click to vote
SAINT
2009
IEEE
2009
IEEE
CCDM: Central Controller-Based Device Management Architecture and Method to Split Management Scripts
16 years 2 months ago
This paper presents CCDM, a new architecture for management of devices, which collect environmental information and give effects to the environment. CCDM provides easy management ...