1164 search results - page 107 / 233 » Case Studies in Event-Driven Control |
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...
114
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...
119
click to vote
SIGDOC
2003
ACM
15 years 9 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
117
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
144
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...