Sciweavers

16216 search results - page 36 / 3244
» Effective Modeling with Constraints
Sort
View
126
Voted
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 4 months ago
An Activity-Based Model for Separation of Duty
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...
JUCS
2006
109views more  JUCS 2006»
15 years 3 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
UML
2000
Springer
15 years 7 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier
CVPR
2004
IEEE
16 years 6 months ago
Flexible Spatial Models for Grouping Local Image Features
A key step for the effective use of local image features (i.e., highly distinctive and robust features) for recognition or image matching is the appropriate grouping of feature ma...
Gustavo Carneiro, Allan D. Jepson
167
Voted
ICCV
2009
IEEE
15 years 1 months ago
Modeling 3D human poses from uncalibrated monocular images
This paper introduces an efficient algorithm that reconstructs 3D human poses as well as camera parameters from a small number of 2D point correspondences obtained from uncalibrat...
Xiaolin K. Wei, Jinxiang Chai