Dynamic inter-domain collaborations and resource sharing comprise two key characteristics of mobile Grid systems. However, interdomain collaborations have proven to be vulnerable to conflicts that can lead to privilege escalation. These conflicts are detectable in interoperation policies, and occur due to cross-domain role relationships. In addition, resource sharing requires to be enhanced wit...

Cyber Physical System (CPS) is a complex research field with plenty of challenges. The Dynamic Resource Supply Model(DRSM) we proposed before can describe the resources and support manipulation of resources in CPS to handle all resource allocations. However after extensively investigating past research results about resource specifications and allocations, we realize the DRSM is not sufficient ...

In this paper, a new implementation of the Viterbi decoder is proposed. The Modified State-Mapping VD algorithm combines the TB algorithm with the RE algorithm. By updating the starting point of the state for each memory bank, and by using Trace Back and Trace Forward information, LIFO (Last Input First Output) operation can be eliminated, which reduces the latency of the TB algorithm and decre...

BACKGROUND Allocating resources appropriately requires knowing whether obese patients use more resources during a hospital stay than nonobese patients. OBJECTIVES To determine if trauma patients with different body mass indexes differed in use of resources measured as a multifaceted outcome variable. METHODS A trauma registry was used for a retrospective study of adult patients admitted to ...

We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to a specification expressing non-functional global properties (e.g., upper and lower bounds on execution time, memory, power, or user defined resources). Such bounds are given as functions on input data sizes. A given s...

Predictable execution enforcement for applications with highly and arbitrarily fluctuating resource usage requires runtime resource management. Correct runtime predictions regarding resource usage of individual components allows making proper resource reservations, enabling a better resource management of the component-based applications. This work presents a state-based resource usage model fo...