9067 search results - page 1546 / 1814 » Adaptive Model Checking |
197
click to vote
WCNC
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract — Wireless frequency resources are often the limiting factor for WLAN throughput. Hence, wireless channel management is needed to mitigate co-channel interference and im...
220
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--Large-scale attacks like Distributed Denial-ofService (DDoS) attacks still pose unpredictable threats to the Internet infrastructure and Internet-based business. Thus, ma...
190
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
203
click to vote
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
211
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...