458 search results - page 71 / 92 » Designing and executing protocols using the event calculus |
148
click to vote
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
—We present the derivation of a novel metric for the performance prediction of Wireless Sensor Networks (WSNs). In particular, the metric can be applied in, for example, monitori...
213
click to vote
WSC
2001
15 years 6 months ago
2001
Tactical and operational planning for manufacturing enterprises are more important today than ever before as their supply chains span the globe. Two state-of-the-art technologies ...
155
click to vote
SP
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
166
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
189
Voted
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...