4418 search results - page 348 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
194
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
173
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Regeneration of biometric templates from match scores has security and privacy implications related to any biometric based authentication system. In this paper, we propose a novel...
194
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Construction toys are a superb medium for creating geometric models. We argue that such toys, suitably instrumented or sensed, could be the inspiration for a new generation of eas...
182
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
164
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
With dramatic improvements in cost-performance, the use of clusters of personal computers is fast becoming widespread. For ease of use and management, a Single System Image (SSI) ...