410 search results - page 81 / 82 » Validating Cyber Security Requirements: A Case Study |
JUCS
2010
13 years 4 months ago
2010
: In Collaborative Learning, groups of students work together using traditional and computer-based tools or applications. Participants are continuously moving and reorganizing in g...
PROCEDIA
2010
13 years 4 months ago
2010
High quality meshes are crucial for the solution of partial differential equations (PDEs) via the finite element method (or other PDE solvers). The accuracy of the PDE solution,...
KDD
2009
ACM
2009
ACM
Classification of software behaviors for failure detection: a discriminative pattern mining approach
14 years 7 months ago
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
ASIACRYPT
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. We study two closely related primitives: Broadcast Encryption and Key Predistribution Schemes (KPS). Broadcast Encryption allows a broadcaster to broadcast an encrypted m...