Sciweavers

35416 search results - page 6823 / 7084
» Evaluation
Sort
View
CORR
2007
Springer
146views Education» more  CORR 2007»
15 years 6 months ago
The Long Term Fate of Our Digital Belongings: Toward a Service Model for Personal Archives
We conducted a preliminary field study to understand the current state of personal digital archiving in practice. Our aim is to design a service for the long-term storage, preserv...
Catherine C. Marshall, Sara A. Bly, Francoise Brun...
CORR
2007
Springer
173views Education» more  CORR 2007»
15 years 6 months ago
Computing modular polynomials in quasi-linear time
We analyse and compare the complexity of several algorithms for computing modular polynomials. We show that an algorithm relying on floating point evaluation of modular functions...
Andreas Enge
CORR
2007
Springer
77views Education» more  CORR 2007»
15 years 6 months ago
The Multiobjective Optimization of a Prismatic Drive
The multiobjective optimization of Slide-o-Cam is reported in this paper. Slide-o-Cam is a cam mechanism with multiple rollers mounted on a common translating follower. This trans...
Emilie Bouyer, Stéphane Caro, Damien Chabla...
INFFUS
2006
137views more  INFFUS 2006»
15 years 6 months ago
Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions
The bipolar view in preference modeling distinguishes between negative and positive preferences. Negative preferences correspond to what is rejected, considered unacceptable, whil...
Salem Benferhat, Didier Dubois, Souhila Kaci, Henr...
JCS
2008
119views more  JCS 2008»
15 years 6 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
« Prev « First page 6823 / 7084 Last » Next »