Sciweavers

1937 search results - page 23 / 388
» Starting B Specifications from Use Cases
Sort
View
DC
2006
15 years 1 months ago
Dynamic group communication
Group communication is the basic infrastructure for implementing fault-tolerant replicated servers. While group communication is well understood in the context of static systems (...
André Schiper
ECAI
2008
Springer
15 years 3 months ago
Extracting Semantic Annotations from Moodle Data
The purpose of this paper is to provide a solution which allows automatic reasoning processes over Moodle activities logs, in order to obtain user-personalized recommendations. Act...
Mihai Gabroveanu, Ion-Mircea Diaconescu
FOCS
2004
IEEE
15 years 5 months ago
Worst-Case to Average-Case Reductions Based on Gaussian Measures
We show that finding small solutions to random modular linear equations is at least as hard as approximating several lattice problems in the worst case within a factor almost line...
Daniele Micciancio, Oded Regev
109
Voted
AE
2007
Springer
15 years 8 months ago
Minimal and Necessary Conditions for the Emergence of Species-Specific Recognition Patterns
A simple mechanism is presented for the emergence of recognition patterns that are used by individuals to find each other and mate. The genetic component determines the brain of an...
Nicolas Brodu
124
Voted
FLAIRS
2006
15 years 3 months ago
Using Activity Theory to Model Context Awareness: A Qualitative Case Study
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...
Jörg Cassens, Anders Kofod-Petersen