Sciweavers

3885 search results - page 280 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
GG
2004
Springer
16 years 1 days ago
A Perspective on Graphs and Access Control Models
There would seem to be a natural connection between graphs and information security. This is particularly so in the arena of access control and authorization. Research on applying ...
Ravi S. Sandhu
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
15 years 12 months ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
CAISE
2003
Springer
15 years 12 months ago
A Methodology for the Conceptual Modeling of ETL Processes
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
Alkis Simitsis, Panos Vassiliadis
SEMWEB
2001
Springer
15 years 11 months ago
RDF Models for Dynamic Syndication and Wireless Applications
Machine-understandable metadata is providing the foundation for next-generationframeworks that enable automated construction ofserver-side Java applications. Suchapplications are ...
Leon A. Shklar
FASE
2004
Springer
15 years 10 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...