4348 search results - page 564 / 870 » Using UML for Modeling Complex Real-Time Systems |
191
click to vote
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
Decreasing hardware reliability is expected to impede the exploitation of increasing integration projected by Moore's Law. There is much ongoing research on efficient fault t...
207
click to vote
TMI
2010
15 years 1 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
188
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
177
click to vote
FEDCSIS
2011
14 years 6 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
176
click to vote
BIBE
2006
IEEE
16 years 21 days ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...