Sciweavers

10038 search results - page 548 / 2008
» Model Checking for Managers
Sort
View
WAIM
2005
Springer
16 years 19 days ago
Integrity Theory for Resource Space Model and Its Application
The Resource Space Model (RSM) is a semantic data model based on orthogonal classification semantics for effectively managing various resources in interconnection environment. In p...
Hai Zhuge, Yunpeng Xing
APWEB
2004
Springer
16 years 17 days ago
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
Qiujian Sheng, Zhongzhi Shi
CCGRID
2008
IEEE
16 years 1 months ago
Managing Cancellations and No-Shows of Reservations with Overbooking to Increase Resource Revenue
Advance reservation allows users to request available nodes in the future, whereas economy provides an incentive for resource owners to be part of the Grid, and encourages users t...
Anthony Sulistio, Kyong Hoon Kim, Rajkumar Buyya
TAMC
2007
Springer
16 years 1 months ago
Approximately Optimal Trees for Group Key Management with Batch Updates
Abstract. We investigate the group key management problem for broadcasting applications. Previous work showed that, in handling key updates, batch rekeying can be more cost-effect...
Minming Li, Ze Feng, Ronald L. Graham, Frances F. ...
ACMICEC
2004
ACM
161views ECommerce» more  ACMICEC 2004»
16 years 18 days ago
The 2003 Supply Chain Management Trading Agent Competition
Supply Chain Management deals with the planning and coordination of bidding, production and procurement activities across the multiple organizations involved in the delivery of on...
Raghu Arunachalam, Norman M. Sadeh