Sciweavers

1121 search results - page 167 / 225
» Location-routing: Issues, models and methods
Sort
View
ICEIS
2005
IEEE
15 years 3 months ago
Process Oriented Discovery of Business Partners
: Emerging technologies and industrial standards in the field of Web services enable a much faster and easier cooperation of distributed partners. With the increasing number of en...
Axel Martens
AIED
2005
Springer
15 years 3 months ago
Relation-based heuristic diffusion framework for LOM generation
Learning Object Metadata (LOM) intends to facilitate the retrieval and reuse of learning material. However, the fastidious task of authoring them limits their use. Motivated by thi...
Olivier Motelet
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 3 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
WEA
2005
Springer
91views Algorithms» more  WEA 2005»
15 years 3 months ago
The Necessity of Timekeeping in Adversarial Queueing
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...
Maik Weinard
APWEB
2005
Springer
15 years 3 months ago
Labeling Scheme and Structural Joins for Graph-Structured XML Data
When XML documents are modeled as graphs, many challenging research issues arise. In particular, query processing for graphstructured XML data brings new challenges because traditi...
Hongzhi Wang, Wei Wang 0011, Xuemin Lin, Jianzhong...