Sciweavers

26496 search results - page 173 / 5300
» An Approach to Computing Ethics
Sort
View
GI
2009
Springer
15 years 2 months ago
Towards a Parallel Search for Solutions of Non-deterministic Computations
: In this paper we explore the possibilities to perform the search for results of non-deterministic computations in parallel. We present three different approaches to this problem:...
Fabian Reck, Sebastian Fischer
RECOMB
2002
Springer
16 years 4 months ago
A Survey of Computational Methods for Determining Haplotypes
It is widely anticipated that the study of variation in the human genome will provide a means of predicting risk of a variety of complex diseases. Single nucleotide polymorphisms (...
Bjarni V. Halldórsson, Vineet Bafna, Nathan...
PERVASIVE
2004
Springer
15 years 10 months ago
Ubiquitous Chip: A Rule-Based I/O Control Device for Ubiquitous Computing
In this paper, we propose a new framework for ubiquitous computing by rule-based, event-driven I/O (input/output) control devices. Our approach is flexible and autonomous because ...
Tsutomu Terada, Masahiko Tsukamoto, Keisuke Hayaka...
TCS
2008
15 years 4 months ago
Sound and complete computational interpretation of symbolic hashes in the standard model
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
Flavio D. Garcia, Peter van Rossum
SAINT
2007
IEEE
15 years 10 months ago
Managing and Delivering Context-Dependent User Preferences in Ubiquitous Computing Environments
We present a user profile management component for ubiquitous computing environments that provides management, inquiry and delivery of context-dependent user preferences. In part...
Michael Sutterer, Olivier Coutand, Olaf Dröge...