Sciweavers

3618 search results - page 692 / 724
» Dynamic Data Integration Using Web Services
Sort
View
HICSS
2003
IEEE
97views Biometrics» more  HICSS 2003»
15 years 7 months ago
Efficacy and Sustainability of a Telerehabilitation Program
Efficacy and Sustainability of a Telerehabilitation Program Sustainability and appropriateness of care are important components for healthcare systems as they begin integrating te...
Cynthia Scheideman-Miller, Pamela G. Clark, Al Moo...
SIGMETRICS
2011
ACM
245views Hardware» more  SIGMETRICS 2011»
14 years 4 months ago
Record and transplay: partial checkpointing for replay debugging across heterogeneous systems
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
Dinesh Subhraveti, Jason Nieh
MIDDLEWARE
2009
Springer
15 years 8 months ago
Calling the Cloud: Enabling Mobile Phones as Interfaces to Cloud Applications
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
Ioana Giurgiu, Oriana Riva, Dejan Juric, Ivan Kriv...
CVPR
2003
IEEE
16 years 4 months ago
Simultaneous Estimation of Left Ventricular Motion and Material Properties with Maximum a Posteriori Strategy
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
Huafeng Liu, Pengcheng Shi
CADE
2007
Springer
16 years 2 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...