5470 search results - page 606 / 1094 » Distributed Control Lab |
217
click to vote
COOP
2004
15 years 9 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
213
click to vote
CSREASAM
2004
15 years 9 months ago
2004
The modern electric power grid is a complex interconnected network of independent physical and electronic devices that utilize myriad technologies for communication between other ...
169
click to vote
USENIX
2003
15 years 8 months ago
2003
Trust management credentials directly authorize actions, rather than divide the authorization task into authentication and access control. Unlike traditional credentials, which bi...
373
Voted
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
189
click to vote
GPC
2008
Springer
15 years 8 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...