We propose a novel framework for integrated access and resource usage control over standard client server interactions. Historically, access control has been developed without considering resource usage. Resource control has thus developed as an ad hoc server-centric set of mechanisms (e.g., file system quota, network bandwidth quote, etc.). We believe that resource usage control is strongly re...

We use a simulation approach to evaluate large scale resource usage in a distributed real-time database. Scalability is often limited by that resource usage is higher than what is added to the system when a system is scaled up. Our approach of Virtual Full Replication (VFR) makes resource usage scalable, which allows large scale real-time databases. In this paper we simulate a large scale distr...

In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages, such as execution time, memory, energy, or user-defined resources. In previous work we have presented a novel framework for data size-aware, static resource usage verification. Specifications...

This paper proposes to develop a network phenotyping mechanism based on network resource usage analysis and identify abnormal network traffic. The network phenotyping may use different metrics in the cyber physical system (CPS), including resource and network usage monitoring, physical state estimation. The set of devices will collectively decide a holistic view of the entire system through adv...

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, such as upper and lower bounds on execution time, memory, energy, or user defined resources, given as functions on input data sizes. A given specification c...

Resource usage is one of the most important characteristics of programs. Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment. In this paper we discuss and present examples on how such information is obtained in COSTA, a state of the art static analysis system. COSTA obtains safe symbolic upper bounds on the resour...

On the basis of resource-based view, this paper analyzes the impacts of IT resource on different levels of IT usage in Shanghai higher education institutions. By analyzing the survey data from 40 Shanghai institutions, the study contributes several insights to China-context IT usage research and practice in higher education system. First of all, this study sheds lights on the impacts of IT reso...