1829 search results - page 158 / 366 » Towards Validation of Requirements Models |
184
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present a new framework for specifying access control policies in smart spaces called Criticality-Aware Access Control (CAAC). The main idea is to automatically r...
162
click to vote
AIME
2005
Springer
16 years 1 days ago
2005
Springer
It is by now widely accepted that medical guidelines can help to significantly improve the quality of medical care. Unfortunately, constructing the required medical guidelines is ...
166
click to vote
CMOT
2000
15 years 6 months ago
2000
Theperformanceofvariousorganizationalstructuresisanessentialparameterinthereengineeringoforganizations, particularly in the current rapidly changing, competitive and information t...
153
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Context based entropy coding has the potential to provide higher gain over memoryless entropy coding. However serious difficulties arise regarding the practical implementation in...