4689 search results - page 326 / 938 » Analysis and modeling of control tasks in dynamic systems |
283
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
217
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
182
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
If we limit the contact rate of worm traffic, can we alleviate and ultimately contain Internet worms? This paper sets out to answer this question. Specifically, we are interested ...
171
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
177
click to vote
ICONIP
1998
15 years 8 months ago
1998
Learning transfer is the improvement in performance on one task having learnt a related task. That the degree of transfer is signi cantly greater in humans than other primates and...