Learn More
With the increase of the popularity of Web service, more and more Web applications are developed with this new kind of components. Web service quality validation and control is becoming very critical to vendors, brokers and application builders. Both brokers and users usually have to use black-box testing because design and implementation details of Web(More)
Software cybernetics makes better use of the interplay between control theory and software engineering. A cybernetics method called self-evolving control is proposed to guarantee the behaviors’ reliability of software systems at runtime. This method adopts software sensors to monitor the behaviors of runtime system, and achieves self-evolving based on(More)
Non-preemptive tasks with strict periods are usually adopted in practical real-time systems where missing deadlines may lead to catastrophic situations. Their schedulability analysis plays a crucial role in guiding the design and development of such real-time systems. In this paper, we study the schedulability analysis problem of partitioned non-preemptive(More)
Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. In this paper, we(More)
With the advent of embedded and mobile computing techniques, software systems are increasingly operated in open and dynamic environments. Such systems desire self-adaptive capabilities. This paper proposes an agent-oriented approach to the modeling and simulation of distributed adaptive systems. The approach enables to construct structural and behavioral(More)
pi-calculus is a name-passing calculus based on CCS. It can model distributed communicating system of dynamic topo-structure. Timed distributed pi-calculus (TDpi-calculus) is presented as a rigorous framework for describing distributed systems with time and resource constraints. The real-time distributed virtual-test system in military field has the feature(More)
Distributed, real-time and embedded (DRE) systems with high confidence demands can benefit from dynamic reconfiguration technology to adjust and reconfigure system resources at runtime in response to the running state and normal or abnormal events. Reconfiguration is also the key technology for mission computing and the software system dynamic evolution.(More)
Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. All partitions in(More)
Privacy-preserving profile matching, a challenging task in mobile social networks, is getting more attention in recent years. In this paper, we propose a novel scheme that is based on ciphertext-policy attribute-based encryption to tackle this problem. In our scheme, a user can submit a preference-profile and search for users with matching-profile in(More)