2838 search results - page 86 / 568 » Verifying Controlled Components |
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
EMISA
2009
Springer
14 years 3 months ago
2009
Springer
: Integrated process support is highly desirable in environments where data related to a particular (business) process are scattered over distributed, heterogeneous information sys...
DATE
2004
IEEE
14 years 22 days ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an aspect-oriented approach to access control in mobile agent systems, where a multipoint security check mechanism visualizes the services of a host as individ...