Sciweavers

2268 search results - page 216 / 454
» The Essence of Form Abstraction
Sort
View
116
Voted
JOT
2007
110views more  JOT 2007»
15 years 1 months ago
Enterprise Integration in Metadata Environment
Metadata play crucial role in enterprise interoperability between business, service rmation layers. Metadata in different form, such as the abstract of system structure, aggregati...
Raymond Wu
112
Voted
JSW
2007
106views more  JSW 2007»
15 years 1 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&...
APAL
2004
132views more  APAL 2004»
15 years 1 months ago
Canonical structure in the universe of set theory: part one
Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...
James Cummings, Matthew Foreman, Menachem Magidor
IJDAR
2000
85views more  IJDAR 2000»
15 years 1 months ago
Mathematical expression recognition: a survey
Abstract. Automatic recognition of mathematical expressions is one of the key vehicles in the drive towards transcribing documents in scientific and engineering disciplines into el...
Kam-Fai Chan, Dit-Yan Yeung
96
Voted
ENTCS
2002
71views more  ENTCS 2002»
15 years 1 months ago
A Simplified Account of the Metatheory of Linear LF
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
Joseph Vanderwaart, Karl Crary