In this paper we use F-Logic (8]) as an underlying framework for a hybrid construction of descriptions and rules. The hybrid framework, termed DFL, is modular, and enjoys a compositional semantics. In DFL, the knowledge base manages a database of explicit descriptions, by consulting two separate reasoners: DL { The Description Languages reasoner, and R { The Rules reasoner. The reasoners can op...

In this paper, a centralized retransmission management with Software Defined Network (SDN) is proposed in order to handle packet loss in multi-hop wireless access networks. The proposed scheme manages retransmission persistence for Automatic Repeat Request (ARQ) in all wireless links, which satisfies a delay constraint and maintains end-to-end throughput. Simulation results show that the propos...

We describe Shibboleth, a program to manage private Internet mailing lists. Differing from other mailing list managers, Shibboleth manages lists or groups of lists that are closed, or have membership by invitation only. So instead of focusing on automating the processes of subscribing and unsubscribing readers, we include features like SMTP forgery detection, prevention of outsiders’ ability to...

Workflow scheduling is one of the key issues in the management of workflow execution. Scheduling is a process that maps and manages execution of inter-dependent tasks on distributed resources. It introduces allocating suitable resources to workflow tasks so that the execution can be completed to satisfy objective functions specified by users. Proper scheduling can have significant impact on the...

Ionizing radiation is a non-specific, but most widely used therapeutic method for cancer treatment. However, a minor fraction of tumor cell population manages to survive after radiation. Radiation efficacy depends on adequate oxygen supply. Rapid growing tumors cause hypoxia that upregulates many pro-survival pathways. At clinical doses, radiation activates inflammatory pathways and causes oxid...

The concept of co-allocation provides a simple mechanism to request and bind resources in a coordinated fashion in Grids across virtual organization boundaries. We have designed an advanced multistage co-allocation strategy based on resource hierarchies defined through user-specific patterns. The model manages simple flows between resources to perform managed job executions. We demonstrate the ...

What comes to mind when I hear the name Karen Zander: case manager pioneer, brilliant and compassionate nurse leader, articulate teacher, mentor, and friend. Karen has a unique perspective on health care today as a consumer and provider. While she manages through physical limitations, it has never diminished her passion, commitment or can-do spirit. Her contributions to the case management prac...

This paper discusses maritime traffic management in the boarding process of pilots when approaching a port. For efficiency reason ships are brought as close together and as close to shore as possible. For safety reason ships should remain well separated from each other and at a safe distance from shore. By realising a clear traffic structure the shore-based pilot maintains situation awareness a...

The SIERRA Framework core services provide essential services for managing the mesh data structure, computational fields, and physics models of an application. An application using these services will supply a set of physics models, define the computational fields that are required by those models, and define the mesh upon which its physics models operate. The SIERRA Framework then manages all ...

One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obtained from the validation are always reproducible. Without tool support, the quality of the validation process depends on the accuracy of the persons who conduct the validation. This paper discusses Xspin/Project, an exten...