Sciweavers

8808 search results - page 1498 / 1762
» Process Change Patterns
Sort
View
KES
2005
Springer
15 years 4 months ago
A Robust Approach for Improving Computational Efficiency of Order-Picking Problems
The new market forces have affected the operation of distribution centers (DCs) extremely. The DCs demand an increased productivity and a low cost in their daily operation. This pa...
Yu-Min Chiang, Shih-Hsin Chen, Kuo-Chang Wu
PERVASIVE
2005
Springer
15 years 4 months ago
Context Modeling for Device- and Location-Aware Mobile Web Applications
Ubiquitous Web systems have to deal with varying context information in order to support context awareness. Accomplishing this requirement necessitates gathering, processing and r...
Michael Hinz, Zoltán Fiala
SEMWEB
2005
Springer
15 years 4 months ago
Web Service Composition with Volatile Information
In many Web service composition problems, information may be needed from Web services during the composition process. Existing research on Web service composition (WSC) procedures...
Tsz-Chiu Au, Ugur Kuter, Dana S. Nau
70
Voted
SPIN
2005
Springer
15 years 4 months ago
An Incremental Heap Canonicalization Algorithm
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
Madanlal Musuvathi, David L. Dill
STACS
2005
Springer
15 years 4 months ago
Cycle Cover with Short Cycles
Cycle covering is a well-studied problem in computer science. In this paper, we develop approximation algorithms for variants of cycle covering problems which bound the size and/o...
Nicole Immorlica, Mohammad Mahdian, Vahab S. Mirro...
« Prev « First page 1498 / 1762 Last » Next »