2502 search results - page 288 / 501 » Using probabilistic model checking in systems biology |
176
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
189
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper addresses the problem of using appearance and motion models in classifying and tracking objects when detailed information of the object’s appearance is not available....
167
click to vote
ICWE
2005
Springer
16 years 4 days ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
168
click to vote
CSFW
2006
IEEE
16 years 21 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
154
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
MicroRNAs (miRNAs) have recently been discovered as an important class of non-coding RNA genes that play a major role in regulating gene expression, providing a means to control th...