Sciweavers

1133 search results - page 81 / 227
» Best Practices in e-Assessment
Sort
View
ICSOC
2005
Springer
15 years 12 months ago
Reputation-Based Service Level Agreements for Web Services
Most web services need to be contracted through service level agreements that typically specify a certain quality of service (QoS) in return for a certain price. We propose a new f...
Radu Jurca, Boi Faltings
SAS
2005
Springer
15 years 11 months ago
Secure Information Flow as a Safety Problem
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
Tachio Terauchi, Alexander Aiken
APN
2004
Springer
15 years 11 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
DILS
2004
Springer
15 years 11 months ago
On the Application of Formal Principles to Life Science Data: a Case Study in the Gene Ontology
Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have import...
Barry Smith, Jacob Köhler, Anand Kumar
ESA
2004
Springer
166views Algorithms» more  ESA 2004»
15 years 11 months ago
Super Scalar Sample Sort
Sample sort, a generalization of quicksort that partitions the input into many pieces, is known as the best practical comparison based sorting algorithm for distributed memory para...
Peter Sanders, Sebastian Winkel