466 search results - page 26 / 94 » An Approach to Self-adaptive Software Based on Supervisory C... |
CBSQ
2003
Springer
14 years 19 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
CDC
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
COMPSAC
2003
IEEE
14 years 21 days ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—In this paper we study the propagation of malicious software in wireless ad hoc networks under a probabilistic framework. We design topology control algorithms for the developme...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...