10159 search results - page 1904 / 2032 » System Design Validation Using Formal Models |
ICPPW
2009
IEEE
13 years 6 months ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...
GROUP
2003
ACM
14 years 1 months ago
2003
ACM
In this paper we describe a current group configuration that is used to support people with cognitive disabilities (hereinafter referred to as “clients”) in the workplace. A c...
ICMI
2003
Springer
14 years 1 months ago
2003
Springer
Gesture recognition is becoming a more common interaction tool in the fields of ubiquitous and wearable computing. Designing a system to perform gesture recognition, however, can...
SIMUTOOLS
2008
13 years 9 months ago
2008
In silico (on the computer) oncology is a multi-disciplinary field that focuses on the examination and modeling of biological mechanisms related to the phenomenon of cancer. In si...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...