4914 search results - page 308 / 983 » Arbitration of a help system |
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
190
click to vote
JCS
2008
15 years 6 months ago
2008
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. ...
184
click to vote
TCS
2008
15 years 6 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
162
click to vote
TMC
2011
15 years 1 months ago
2011
— In large-scale fingerprinting localization systems, fine-grained location estimation and quick location determination are conflicting concerns. To achieve finer-grained loc...