396 search results - page 7 / 80 » Argument Controlled Profiling |
EDCC
2010
Springer
14 years 19 days ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
HT
2005
ACM
14 years 1 months ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Isometric and elastic devices are most compatible with a rate control mapping. However, the effect of elastic stiffness has not been thoroughly investigated nor its interaction wi...
CCE
2005
13 years 7 months ago
2005
Optimal control problems in batch distillation involve finding a trajectory for the reflux ratio so as to maximize a performance index. Then the controller is asked to follow this...
USENIX
2008
13 years 10 months ago
2008
Unexpected surges in Web request traffic can exercise server-side resources (e.g., access bandwidth, processing, storage etc.) in undesirable ways. Administrators today do not hav...