Sciweavers

2838 search results - page 281 / 568
» Verifying Controlled Components
Sort
View
CLUSTER
2001
IEEE
15 years 10 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
HPCN
2000
Springer
15 years 10 months ago
A Service-Based Agent Framework for Distributed Symbolic Computation
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten...
AIPS
2006
15 years 8 months ago
Run-Time Monitoring of the Execution of Plans for Web Service Composition
While a lot of work has been done on the problem of the automated generation of plans that compose web services, the problem of monitoring their execution has still to be investig...
Fabio Barbon, Paolo Traverso, Marco Pistore, Miche...
CIIT
2004
15 years 8 months ago
Scalable architecture for providing per-flow bandwidth guarantees
Despite numerous efforts, the problem of providing per-flow Quality of Service in a scalable manner still remains an active area of research. This paper introduces a scalable arch...
Vasil Hnatyshin, Adarshpal S. Sethi
CGIM
2003
15 years 8 months ago
Real-time Facial Expressions in the Auslan Tuition System
Facial expressions are an integral part of Australian Sign Language (Auslan). This paper presents the implementation and integration of facial expression into the Auslan Tuition S...
J. C. Wong, Eun-Jung Holden, Nick Lowe, Robyn A. O...