10038 search results - page 1873 / 2008 » Model Checking for Managers |
138
click to vote
SOCIALCOM
2010
14 years 10 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
140
click to vote
WD
2010
14 years 10 months ago
2010
It has long been known that adaptive beamforming has the potential to enhance the performance of wireless ad hoc networks significantly. However, due to the decentralized nature of...
127
Voted
WICON
2010
14 years 10 months ago
2010
Vehicle-to-Vehicle and Vehicle-to-Roadside communications are going to become an indispensable part of the modern day automotive experience. For people on the move, vehicular netwo...
90
Voted
WIKIS
2010
ACM
14 years 10 months ago
2010
ACM
Wikis have proven to be an invaluable tool for collaboration. The most prominent is, of course, Wikipedia. Its open nature is not suitable for all environments; in corporate, gove...
144
Voted
DLOG
2009
14 years 10 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...