4418 search results - page 843 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
201
click to vote
AVI
2010
15 years 3 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
169
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies a load shedding mechanism called...
154
click to vote
CCS
2009
ACM
16 years 24 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
163
click to vote
CCS
2007
ACM
16 years 6 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
162
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...