Sciweavers

16832 search results - page 3308 / 3367
» Scenario Based Evaluation
Sort
View
91
Voted
CORR
2007
Springer
77views Education» more  CORR 2007»
14 years 12 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...
JCS
2008
119views more  JCS 2008»
14 years 12 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
CORR
2007
Springer
160views Education» more  CORR 2007»
14 years 12 months ago
How really effective are Multimodal Hints in enhancing Visual Target Spotting? Some evidence from a usability study
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
Suzanne Kieffer, Noelle Carbonell
ISCA
2006
IEEE
144views Hardware» more  ISCA 2006»
14 years 12 months ago
Conditional Memory Ordering
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...
Christoph von Praun, Harold W. Cain, Jong-Deok Cho...
JISE
2008
77views more  JISE 2008»
14 years 11 months ago
Formalized Entity Extraction Methodology for Changeable Business Requirements
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
Namgyu Kim, Sangwon Lee, Songchun Moon
« Prev « First page 3308 / 3367 Last » Next »