Sciweavers

3948 search results - page 501 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
ECOOP
1999
Springer
15 years 11 months ago
Providing Fine-grained Access Control for Java Programs
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
Raju Pandey, Brant Hashii
ER
1999
Springer
155views Database» more  ER 1999»
15 years 11 months ago
XML-based Components for Federating Multiple Heterogeneous Data Sources
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
Georges Gardarin, Fei Sha, Tuyet-Tram Dang-Ngoc
RSP
1998
IEEE
162views Control Systems» more  RSP 1998»
15 years 11 months ago
The STEP Standard as an Approach for Design and Prototyping
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
Alain Plantec, Vincent Ribaud
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 11 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
PKC
1998
Springer
158views Cryptology» more  PKC 1998»
15 years 11 months ago
A Cellular Automaton Based Fast One-Way Hash Function Suitable for Hardware Implementation
One-way hash functions are an important tool in achieving authentication and data integrity. The aim of this paper is to propose a novel one-way hash function based on cellular aut...
Miodrag J. Mihaljevic, Yuliang Zheng, Hideki Imai