5423 search results - page 304 / 1085 » Denial-of-service in automation systems |
175
click to vote
ETFA
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
153
click to vote
WOWMOM
2005
ACM
16 years 10 days ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
177
click to vote
CF
2004
ACM
15 years 10 months ago
2004
ACM
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
165
click to vote
SCS
2004
15 years 8 months ago
2004
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
185
Voted
IADT
1998
15 years 8 months ago
1998
Work ow management systems aim to automate the execution of business processes. One of the objectives of the work ow systems is to include the already existing applications such a...