Sciweavers

9067 search results - page 646 / 1814
» Adaptive Model Checking
Sort
View
CSFW
2004
IEEE
15 years 11 months ago
Modelling Downgrading in Information Flow Security
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
Annalisa Bossi, Carla Piazza, Sabina Rossi
CCS
2006
ACM
15 years 11 months ago
On the modeling and analysis of obligations
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
Keith Irwin, Ting Yu, William H. Winsborough
CORR
2011
Springer
165views Education» more  CORR 2011»
15 years 2 months ago
Extracting Features from Ratings: The Role of Factor Models
Abstract. Performing effective preference-based data retrieval requires detailed and preferentially meaningful structurized information about the current user as well as the items ...
Joachim Selke, Wolf-Tilo Balke
221
Voted
ICPR
2008
IEEE
16 years 8 months ago
Visual planes-based simultaneous localization and model refinement for augmented reality
This paper presents a method for camera pose tracking that uses a partial knowledge about the scene. The method is based on monocular vision Simultaneous Localization And Mapping ...
Éric Marchand, Fabien Servant, Isabelle Mar...
212
Voted
ICWS
2009
IEEE
16 years 4 months ago
A Governance Model for SOA
Currently, business requirements for rapid operational efficiency, customer responsiveness as well as rapid adaptability are driving the need for ever increasing communication and...
Pierre de Leusse, Theodosis Dimitrakos, David Bros...