1362 search results - page 149 / 273 » Model Checking Large Network Protocol Implementations |
138
Voted
AINA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
136
Voted
EMS
2009
IEEE
15 years 10 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
170
Voted
CSCWD
2009
Springer
15 years 10 months ago
2009
Springer
By research on Topic Map standard, the Extended Topic Map (ETM) is proposed as a novel model for better organization and management of the massive knowledge resources in E-learnin...
181
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...