1087 search results - page 167 / 218 » Achieving Distributed Control through Model Checking |
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
TMC
2008
13 years 9 months ago
2008
Content-based routing (CBR) provides a powerful and flexible foundation for distributed applications. Its communication model, based on implicit addressing, fosters decoupling amon...
NSPW
2004
ACM
14 years 3 months ago
2004
ACM
Digital rights management systems allow copyrighted content to be commercialized in digital format without the risk of revenue loss due to piracy. Making such systems secure is no...
CW
2003
IEEE
14 years 2 months ago
2003
IEEE
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
— We present the unfairness problem between the uplink and the downlink flows in the IEEE 802.11e infrastructure Basic Service Set (BSS) when the default settings of the Enhance...