197 search results - page 29 / 40 » Model Checking Control Communication of a FACTS Device |
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— Dual-radio, dual-processor nodes are an emerging class of Wireless Sensor Network devices that provide both lowenergy operation as well as substantially increased computational...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
JNW
2008
13 years 7 months ago
2008
The subject of Key Management in Wireless Sensor Networks has gained increased attention from the security community around the world in the last years. Several proposals were made...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...