Sciweavers

379 search results - page 26 / 76
» A Framework of High Confidence E-Healthcare Information Syst...
Sort
View
SERVICES
2010
166views more  SERVICES 2010»
15 years 3 months ago
Context-Driven Optimization of Mobile Service-Oriented Systems for Improving Their Resilience
Mobile software systems are characterized by their highly dynamic and unpredictable execution context. Such systems are permeating a number of domains where the systems operate in ...
Deshan Cooray, Sam Malek, Roshanak Roshandel
SIGIR
2009
ACM
15 years 8 months ago
Risky business: modeling and exploiting uncertainty in information retrieval
Most retrieval models estimate the relevance of each document to a query and rank the documents accordingly. However, such an approach ignores the uncertainty associated with the ...
Jianhan Zhu, Jun Wang, Ingemar J. Cox, Michael J. ...
ICFEM
2010
Springer
15 years 15 days ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
ICDE
2009
IEEE
177views Database» more  ICDE 2009»
16 years 3 months ago
Light-Weight, Runtime Verification of Query Sources
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
Tingjian Ge, Stanley B. Zdonik
ICDIM
2008
IEEE
15 years 8 months ago
A framework for RESTful object exchange through schematized XML (unRESTricted)
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...
Barbara Van De Keer, Dieter Van Rijsselbergen, Eri...