12981 search results - page 2402 / 2597 » Model Checking (Abstract) |
131
click to vote
TOPNOC
2008
15 years 3 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
148
Voted
TOSEM
2008
15 years 3 months ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
112
Voted
TSMC
2008
15 years 3 months ago
2008
Abstract--An adaptive critic design (ACD)-based damping controller is developed for a thyristor-controlled series capacitor (TCSC) installed in a power system with multiple poorly ...
109
click to vote
JNW
2007
15 years 3 months ago
2007
Abstract—We present a protocol that uses a publish/subscribe approach to perform reliable but efficient actuation over a sensor network whose topology may change. Actuation on a...
154
Voted
JNW
2007
15 years 3 months ago
2007
Abstract— In this paper, we propose and evaluate a selforganizing communication mechanism for wireless sensor networks where a large number of sensor nodes are deployed. To accom...