2838 search results - page 125 / 568 » Verifying Controlled Components |
IASTEDSEA
2004
13 years 11 months ago
2004
As software systems evolve over a series of releases, it becomes important to know which components show repeated need for maintenance. Deterioration of a single component manifes...
FTDCS
2004
IEEE
14 years 2 months ago
2004
IEEE
The heterogeneous nature and independent administration of geographically dispersed resources in Grid, demand the need for access control using fine-grained policies. In this pape...
COMPSAC
2009
IEEE
14 years 5 months ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
ISOLA
2004
Springer
14 years 3 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...