Sciweavers

2844 search results - page 383 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
ICCD
1992
IEEE
124views Hardware» more  ICCD 1992»
15 years 10 months ago
The ETCA Data-Flow Functional Computer for Real-Time Image Processing
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
Georges Quénot, Bertrand Zavidovique
ESORICS
2000
Springer
15 years 10 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
SWAP
2008
15 years 8 months ago
Entity Identification on the Semantic Web
Abstract. In the core of every information integration and data exchange effort lies the ability to identify whether two pieces of information refer to the same real world entity. ...
Alexis Morris, Yannis Velegrakis, Paolo Bouquet
DIWEB
2004
15 years 8 months ago
Supporting Efficient Streaming and Insertion of XML Data in RDBMS
Relational database systems are increasingly used to manage XML documents, especially for data-centric XML. In this paper we present a new approach to efficiently manage document-c...
Timo Böhme, Erhard Rahm
FLAIRS
2004
15 years 8 months ago
Structure Discovery from Sequential Data
In this paper we describe I-Subdue, an extension to the Subdue graph-based data mining system. I-Subdue operates over sequentially received relational data to incrementally discov...
Jeffrey Coble, Diane J. Cook, Lawrence B. Holder, ...