Sciweavers

513 search results - page 27 / 103
» Reengineering towards components using
Sort
View
SACMAT
2009
ACM
14 years 2 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
STEP
2003
IEEE
14 years 24 days ago
Using Grid Technologies for Web-Enabling Legacy Systems
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...
Thierry Bodhuin, Maria Tortorella
AUIC
2002
IEEE
14 years 15 days ago
Tangible User Interaction Using Augmented Reality
This paper describes a novel use of augmented reality for the visualisation of virtual objects as part of the move towards pervasive computing. It uses fiducial markers as switche...
Bruce H. Thomas, Hannah Slay, Rudi Vernik
WAIM
2005
Springer
14 years 1 months ago
Using Web Services and Scientific Workflow for Species Distribution Prediction Modeling
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...
Jianting Zhang, Deana Pennington, William Michener
BMCBI
2007
148views more  BMCBI 2007»
13 years 7 months ago
Toward the automated generation of genome-scale metabolic networks in the SEED
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
Matthew DeJongh, Kevin Formsma, Paul Boillot, John...