41 search results - page 7 / 9 » Improving medical protocols by formal methods |
164
click to vote
ICDCS
2005
IEEE
16 years 6 days ago
2005
IEEE
— One of the most notable challenges threatening the successful deployment of sensor systems is privacy. Although many privacy-related issues can be addressed by security mechani...
209
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
171
click to vote
IMSCCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Background: The amplification of variable regions of immunoglobulins has become a major challenge in the cloning of antibody genes, whether from hybridoma cell lines or splenic B ...
209
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
180
click to vote
RECOMB
2003
Springer
16 years 7 months ago
2003
Springer
The availability of whole genome sequences and high-throughput genomic assays opens the door for in silico analysis of transcription regulation. This includes methods for discover...