1090 search results - page 162 / 218 » Case Study: Componentization of an Industrial Control System |
104
click to vote
ACSD
2008
IEEE
15 years 11 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
154
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
111
click to vote
SG
2005
Springer
15 years 10 months ago
2005
Springer
We present a system using semi-autonomous agents to help artists express ideas. Agents control their representation on a canvas via interactions in agent space. They are given a se...
116
click to vote
WISA
2004
Springer
15 years 9 months ago
2004
Springer
In distributed component environment, a Role-Based Access Control (RBAC) server manages all authorization policies of components in the same domains whereas the components are dist...
222
click to vote
WMCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
Mobile systems operate in a resource-scarce environment and thus must adapt to external conditions; all layers must make cost-based decisions about what mode of operation to use i...