4000 search results - page 722 / 800 » Simulation down under |
156
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Group communications are important in Mobile Ad hoc Networks (MANET). Multicast is an efficient method to implement the group communications. However, it is challenging to imp...
170
click to vote
AB
2007
Springer
15 years 10 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
156
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Wireless sensor nodes generally face serious limitations in terms of computational power, energy supply, and network bandwidth. Therefore, the implementation of effective and sec...
142
click to vote
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
127
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
A system composed of multiple interacting components is capable of responding to contextual information and producing a higher range of non-linear responses to stimuli compared to...