101 search results - page 17 / 21 » On the Use of Formal Techniques for Analyzing Dependable Rea... |
NETWORKING
2004
13 years 8 months ago
2004
We define a transmission power adaptation-based routing technique that finds optimal paths for minimum energy reliable data transfer in multi-hop wireless networks. This optimal ch...
JELIA
2010
Springer
13 years 5 months ago
2010
Springer
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...
AAAI
1994
13 years 8 months ago
1994
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...
DIM
2005
ACM
13 years 9 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...