Sciweavers

3628 search results - page 257 / 726
» The Decision Diffie-Hellman Problem
Sort
View
ICFEM
2007
Springer
16 years 23 days ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
ICALT
2006
IEEE
16 years 19 days ago
Assessing the Effectiveness of Virtual Reality Technology as part of an Authentic Learning Environment
Application of Virtual Reality (VR) in training and education seems to give excellent promise in providing an alternative “real life” environment in situations where it is imp...
Ros A. Yahaya
ICCV
2005
IEEE
16 years 6 days ago
HMM Based Falling Person Detection Using Both Audio and Video
Automatic detection of a falling person in video is an important problem with applications in security and safety areas including supportive home environments and CCTV surveillance...
B. Ugur Töreyin, Yigithan Dedeoglu, A. Enis &...
ISQED
2005
IEEE
81views Hardware» more  ISQED 2005»
16 years 5 days ago
An ILP Formulation for Reliability-Oriented High-Level Synthesis
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
Suleyman Tosun, Ozcan Ozturk, Nazanin Mansouri, Er...
ICIC
2005
Springer
16 years 3 days ago
An Intelligent Assistant for Public Transport Management
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
Martín Molina