Sciweavers

370 search results - page 47 / 74
» Service-Oriented Computing: State of the Art and Research Ch...
Sort
View
TDSC
2008
152views more  TDSC 2008»
15 years 6 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
144
Voted
CHI
2005
ACM
16 years 6 months ago
The virtuality continuum revisited
We survey the themes and the aims of a workshop devoted to the state-of-the-art virtuality continuum. In this continuum, ranging from fully virtual to real physical environments, ...
Anton Nijholt, David R. Traum
ACHI
2009
IEEE
16 years 27 days ago
A Structured Approach to Support 3D User Interface Development
— Given its current state of the art, Model-Based UI Development (MBDUI) is able to fulfill the major requirements of desktop and mobile applications, such as form-based user int...
Juan Manuel González-Calleros, Jean Vanderd...
WACV
2008
IEEE
16 years 14 days ago
Object Categorization Based on Kernel Principal Component Analysis of Visual Words
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...
Kazuhiro Hotta
145
Voted
ISVD
2007
IEEE
16 years 11 days ago
From the Kneser-Poulsen conjecture to ball-polyhedra via Voronoi diagrams
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
Károly Bezdek