Sciweavers

1829 search results - page 105 / 366
» Towards Validation of Requirements Models
Sort
View
SEMWEB
2009
Springer
16 years 23 days ago
Towards a Graphical Notation for OWL 2
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...
SACMAT
2009
ACM
16 years 23 days 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
CVPR
2010
IEEE
16 years 2 months ago
Segmentation of Building Facades Using Procedural Shape Priors
In this paper we propose a novel approach to the perceptual interpretation of building facades that combines shape grammars, supervised classification and random walks. Procedural...
Olivier Teboul, Loic Simon, Panagiotis Koutsouraki...
DSRT
2002
IEEE
15 years 11 months ago
Enhancing the DiffServ Architecture of a Simulation Environment
Simulation has always been a valuable tool for experimentation and validation of models, architectures and mechanisms in the field of networking. In the case of the DiffServ frame...
Christos Bouras, Dimitris Primpas, Afrodite Sevast...
142
Voted
CVGIP
2006
121views more  CVGIP 2006»
15 years 6 months ago
Tetrahedral and hexahedral invertible finite elements
We review an algorithm for the finite element simulation of elastoplastic solids which is capable of robustly and efficiently handling arbitrarily large deformation. In fact, the ...
Geoffrey Irving, Joseph Teran, Ronald Fedkiw