Sciweavers

1210 search results - page 28 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
SIROCCO
2010
15 years 5 months ago
Average Long-Lived Memoryless Consensus: The Three-Value Case
Abstract. We study strategies that minimize the instability of a faulttolerant consensus system. More precisely, we find the strategy than minimizes the number of output changes ov...
Ivan Rapaport, Eric Rémila
BPM
2007
Springer
130views Business» more  BPM 2007»
15 years 10 months ago
Process Mining Based on Clustering: A Quest for Precision
Process mining techniques attempt to extract non-trivial and useful information from event logs recorded by information systems. For example, there are many process mining techniqu...
Ana Karla Alves de Medeiros, Antonella Guzzo, Gian...
ASIACRYPT
2001
Springer
15 years 7 months ago
Provably Authenticated Group Diffie-Hellman Key Exchange - The Dynamic Case
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...
Emmanuel Bresson, Olivier Chevassut, David Pointch...
LREC
2008
125views Education» more  LREC 2008»
15 years 5 months ago
Bootstrapping Language Description: the case of Mpiemo (Bantu A, Central African Republic)
Linguists have long been producing grammatical decriptions of yet undescribed languages. This is a time-consuming process, which has already adapted to improved technology for rec...
Harald Hammarström, Christina Thornell, Malin...
SODA
1998
ACM
114views Algorithms» more  SODA 1998»
15 years 5 months ago
Exact Arithmetic at Low Cost - A Case Study in Linear Programming
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
Bernd Gärtner