Sciweavers

347 search results - page 32 / 70
» Structuring Integrated Web Applications for Fault Tolerance
Sort
View
114
Voted
ICFEM
2009
Springer
14 years 10 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
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...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
105
Voted
CLOUDCOM
2009
Springer
15 years 7 months ago
Cost of Virtual Machine Live Migration in Clouds: A Performance Evaluation
Abstract. Virtualization technology has become commonplace in modern data centers and cluster systems, often referred as “computing clouds”. In particular, the capability of vi...
William Voorsluys, James Broberg, Srikumar Venugop...
93
Voted
ECIS
2000
15 years 1 months ago
Towards a Secure Web-Based Health Care Application
Even though security requirements in health care are traditionally high, most computerized health care applications lack sophisticated security measures or focus only on single sec...
Susanne Röhrig, Konstantin Knorr
116
Voted
CIKM
2011
Springer
14 years 11 days ago
Integrating and querying web databases and documents
There exist many interrelated information sources on the Internet that can be categorized into structured (database) and semistructured (documents). A key challenge is to integrat...
Carlos Garcia-Alvarado, Carlos Ordonez
128
Voted
ISMDA
2005
Springer
15 years 6 months ago
Biomedical Image Processing Integration Through INBIOMED: A Web Services-Based Platform
New biomedical technologies need to be integrated for research on complex diseases. It is necessary to combine and analyze information coming from different sources: genetic-molecu...
David Rey, José Crespo, Alberto Anguita, Ju...