1087 search results - page 148 / 218 » Achieving Distributed Control through Model Checking |
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—IEEE 802.11-based mesh networks can yield a throughput distribution among nodes that is spatially biased, with traffic originating from nodes that directly communicate with the...
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract-- Wireless sensor networks (WSNs) require energyef cient protocols to improve the network lifetime. In this work, we adopt a cross-layer strategy that considers routing an...
WPES
2003
ACM
14 years 2 months ago
2003
ACM
Trust negotiation is an approach to establishing trust between strangers through the bilateral, iterative disclosure of digital credentials. Under automated trust negotiation, acc...
ECOOPW
2008
Springer
13 years 11 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...