10038 search results - page 1697 / 2008 » Model Checking for Managers |
161
click to vote
IJHCI
2010
15 years 5 months ago
2010
Motivation – Investigations of large-scale outages in the North American interconnected electric system often attribute the causes to three T’s: Trees, Training and Tools. To ...
210
click to vote
JAPLL
2010
15 years 5 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
174
click to vote
JTAER
2010
15 years 5 months ago
2010
Digital ecosystems, or IT-ecosystems (ITEs), are composed of multiple and independent entities such as individuals, organizations, services, software, and applications. Together, ...
171
click to vote
PVLDB
2010
15 years 5 months ago
2010
Prediction is emerging as an essential ingredient for real-time monitoring, planning and decision support applications such as intrusion detection, e-commerce pricing and automate...
223
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...