Sciweavers

207 search results - page 7 / 42
» Automated Protocol Implementations Based on Activity Threads
Sort
View
CBMS
2002
IEEE
14 years 15 days ago
A Mobile E-Health System Based on Workflow Automation Tools
This paper describes the Patient Record Manager and the Workflow toolset of the wirelessbased e-health system Ward-In-Hand, developed inside an IST European project and currently ...
Christodulos Pappas, Eva Coscia, Gabriella Dodero,...
CIKM
2010
Springer
13 years 5 months ago
Building efficient multi-threaded search nodes
Search nodes are single-purpose components of large Web search engines and their efficient implementation is critical to sustain thousands of queries per second and guarantee indi...
Carolina Bonacic, Carlos García, Mauricio M...
ICLP
2009
Springer
14 years 8 months ago
A Tabling Implementation Based on Variables with Multiple Bindings
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
Pablo Chico de Guzmán, Manuel Carro, Manuel...
CLUSTER
2001
IEEE
13 years 11 months ago
Cluster-Based Computing with Active, Persistent Objects on the Web
This paper describes a middleware that enables its target application to dynamically incorporate heterogeneous nodes of a cluster. It distributes the objects of the application ac...
Frank Sommers, Shahram Ghandeharizadeh, Shan Gao
FASE
2004
Springer
14 years 27 days ago
Automated Debugging Using Path-Based Weakest Preconditions
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
Haifeng He, Neelam Gupta