10159 search results - page 1635 / 2032 » System Design Validation Using Formal Models |
202
click to vote
WSNA
2003
ACM
16 years 2 days ago
2003
ACM
Recent research in sensor networks has raised security issues for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices in...
194
Voted
COMCOM
2008
15 years 7 months ago
2008
In this paper, we address the problem of increasing the effectiveness of an intrusion detection system (IDS) for a cluster of nodes in ad hoc networks. To reduce the performance o...
191
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The characterization of downlink traffic power is an important issue for the design of efficient call admission control (CAC) and radio resource management (RRM) procedures. In...
175
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
171
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...