1164 search results - page 149 / 233 » Case Studies in Event-Driven Control |
121
click to vote
HF
2002
15 years 3 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
123
click to vote
TSMC
2002
15 years 3 months ago
2002
Alerting systems and related decision-making automation are widely used to enhance the safety and capability of controlled processes across many applications. Traditional alerting ...
138
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
132
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Time-varying graphs are widely used to model communication and sensing in multi-agent systems such as mobile sensor networks and dynamic animal groups. Connectivity is often de...
155
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully ...