Sciweavers

10038 search results - page 1873 / 2008
» Model Checking for Managers
Sort
View
SOCIALCOM
2010
14 years 10 months ago
The Design and Enforcement of a Rule-based Constraint Policy Language for Service Composition
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...
Wei Wei, Ting Yu
WD
2010
14 years 10 months ago
Beamforming for heterogeneously equipped nodes in wireless ad hoc networks
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...
Ulrike Korger, Manuel Wocheslander, Christian Hart...
127
Voted
WICON
2010
14 years 10 months ago
On Infostation Density of Vehicular Networks
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...
Vinod Kone, Haitao Zheng, Antony I. T. Rowstron, B...
90
Voted
WIKIS
2010
ACM
14 years 10 months ago
Toward sensitive information redaction in a collaborative, multilevel security environment
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...
Peter Gehres, Nathan Singleton, George Louthan, Jo...
144
Voted
DLOG
2009
14 years 10 months ago
OWL Reasoning in the Real World: Searching for Godot
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...
Kavitha Srinivas
« Prev « First page 1873 / 2008 Last » Next »