The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Pervasive and ubiquitous computing increasingly relies on data-driven models learnt from large datasets. This learning process requires annotations in conjunction with datasets to prepare training data. Ambient Assistive Living (AAL) is one application of pervasive and ubiquitous computing that focuses on providing support for individuals. A subset of AAL solutions exist which model and recognize...
In this paper, we investigate the quasi-synchronization problem of linearly coupled dynamical systems with directed topology structure via event triggered coupling configurations. These decentralized principles employ the states of each node's neighborhoods at event-triggered time to implement the diffusion term on this node. By the criteria of the next triggered time, we prove that the coupled system...
Managing coordination between Autonomic Managers in the Multi-Cloud environment requires an effective control mechanism to handle issues such as conflict during decision-making and in the execution phase. MAPE-K control loop provides a primary control loop in managing adaptation activity where the complex environment especially in Multi-Cloud with decentralized Autonomic Managers, is not sufficient...
Atomicity races in ARINC 653 applications are a kind of concurrency bugs which causes nondeterministic behaviors by parallel processes. This paper presents a tool, called AR653, to dynamically detect atomicity races. The tool monitors only synchronization operations and access to shared resources, and analyzes the relation of synchronizations to report atomicity races through a locking discipline...
Many contexts dealing with sensitive information require high-robustness and high-assurance certified security systems that should not be affected by known vulnerabilities. Covert channels are illicit paths that could be exploited by attackers to convey illicit data flows that contravene the security policies. Many implementations of the so-called Covert Storage Channels exist, whereas no implementation...
The underwater target localization problem is one important application for underwater acoustic sensor networks. This paper, based on "underwater acoustic transmission theory", solves the target localization problem. The proposed algorithm firstly studies the principle of underwater acoustics and applies it to set up the model of underwater signal energy transmission. According to the model,...
Distributed software systems are characterized by increasing autonomy. They often have the capability to sense the environment and react to it, discover the presence of other systems and take advantage of their services, adapt and re-configure themselves in accordance with the internal as well as the global state. Testing this kind of systems is challenging, and systematic and automated approaches...
Collecting data on user activities is one of the fundamental middleware services in Web-enabled systems. The collected data is analyzed and used by various high-level services, like user profiling, accounting, security auditing, and system health monitoring. In this paper, we present architecture and performance evaluation of usage tracking components for service-oriented middleware systems. Presented...
MPSS simulates the behavior of a high traffic transaction processing system. An effective use of MPSS is the analysis of the impact of exclusive control of system resources over multiple processes. MPSS consists of a control process and multiple application processes. The control process is designed to simulate a transaction processing monitor. It initiates and oversees multiple application processes...
Sink mobility has become an increasingly important requirement of various sensor network applications. Handling such mobile sink conditions brings new challenges to large-scale sensor networking. This investigation proposed a hybrid-structure routing protocol (HSRP) that combines the benefits of grid-based and cluster-based structures. Grid-based structure is designed to solve the cluster head selection...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.