5639 search results - page 917 / 1128 » Timed Abstract Non-interference |
117
click to vote
OPODIS
2008
15 years 4 months ago
2008
Abstract. We consider the problem of Rendezvous or gathering of multiple autonomous entities (called mobile agents) moving in an unlabelled environment (modelled as a graph). The p...
137
click to vote
SDM
2008
SIAM
15 years 4 months ago
2008
SIAM
In this paper, we propose a new approach to anomaly detection by looking at the latent variable space to make the first step toward latent anomaly detection. Most conventional app...
114
click to vote
SERP
2008
15 years 4 months ago
2008
Abstract. This paper presents common weaknesses of requirements documents from commercial software projects that frequently cause problems in practice. Many documents contain exten...
110
click to vote
NETWORKING
2007
15 years 4 months ago
2007
Abstract. The wide deployment of 802.11 WLANs has led to the coexistence of wired and wireless clients in a network environment. This paper presents a robust technique to detect 80...
137
click to vote
SPLC
2008
2008
Using Aspects and Component Concepts to Improve Reuse of Software for Embedded Systems Product Lines
15 years 4 months ago
Embedded systems have several characteristics, such as application specific needs, real-time constraints and intrinsic embedded concerns (i.e. energy consumption), which hinder th...