Sciweavers

15421 search results - page 266 / 3085
» Dependability
Sort
View
APN
2007
Springer
16 years 27 days ago
History-Dependent Petri Nets
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...
CCS
2007
ACM
16 years 26 days ago
An independent audit framework for software dependent voting systems
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
Sujata Garera, Aviel D. Rubin
CIE
2007
Springer
16 years 26 days ago
Input-Dependence in Function-Learning
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
Sanjay Jain, Eric Martin, Frank Stephan
CONCUR
2007
Springer
16 years 26 days ago
Topology-Dependent Abstractions of Broadcast Networks
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
COREGRID
2007
Springer
16 years 26 days ago
Dependable Grid Services: A Case Study with OGSA-DAI
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...
Javier Alonso, Jordi Torres, Luís Moura Sil...