10038 search results - page 1906 / 2008 » Model Checking for Managers |
96
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Wikis are currently used in business to provide knowledge management systems, especially for individual organizations. However, building wikis manually is a laborious and time-con...
118
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...
107
Voted
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Virtualization enables multiple networks, each customized for a particular purpose, to run concurrently over a shared substrate. One such model for managing these virtual networks...
116
click to vote
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We consider the network control problem for wireless networks with flow level dynamics under the general k-hop interference model. In particular, we investigate the co...