1463 search results - page 133 / 293 » Model Checking Implicit-Invocation Systems |
160
click to vote
RTAS
2006
IEEE
15 years 11 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
152
click to vote
JSAC
2011
15 years 1 days ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
143
click to vote
ICCD
2003
IEEE
16 years 2 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
143
click to vote
SSS
2009
Springer
15 years 9 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
141
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...