Sciweavers

3458 search results - page 438 / 692
» Abstracting Control
Sort
View
CRYPTO
2004
Springer
97views Cryptology» more  CRYPTO 2004»
15 years 8 months ago
Efficient Tree-Based Revocation in Groups of Low-State Devices
Abstract. We study the problem of broadcasting confidential information to a collection of n devices while providing the ability to revoke an arbitrary subset of those devices (and...
Michael T. Goodrich, Jonathan Z. Sun, Roberto Tama...
CAISE
2006
Springer
15 years 8 months ago
Generic Data Access in XML Based Workflow Management Systems
Various kinds of data are processed in workflow management systems: from case data to control data, from internal data to access to external databases or documents exchanged in int...
Christian Dreier, Johann Eder, Marek Lehmann, Amir...
CAISE
2006
Springer
15 years 8 months ago
IT Service Processes - State and Open Issues
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
Rainer Schmidt
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 8 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
DSN
2004
IEEE
15 years 8 months ago
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
Frank Ortmeier, Wolfgang Reif