Sciweavers

13099 search results - page 2220 / 2620
» Cooperative method development
Sort
View
IJFCS
2006
111views more  IJFCS 2006»
15 years 6 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
IVC
2008
205views more  IVC 2008»
15 years 6 months ago
A unified framework for scene illuminant estimation
Most illuminant estimation algorithms work with the assumption of one specific type of the light source (e.g. point light source or directional light source). This assumption brin...
Wei Zhou, Chandra Kambhamettu
CONCURRENCY
2007
83views more  CONCURRENCY 2007»
15 years 6 months ago
Enabling community access to TeraGrid visualization resources
Visualization is an important part of the data analysis process. Many researchers, however, do not have access to the resources required to do visualization effectively for large ...
Justin Binns, Jonathan DiCarlo, Joseph A. Insley, ...
172
Voted
JAIR
2008
123views more  JAIR 2008»
15 years 6 months ago
CTL Model Update for System Modifications
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
Yan Zhang, Yulin Ding
COR
2007
103views more  COR 2007»
15 years 6 months ago
A reactive GRASP and path relinking for a combined production-distribution problem
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory lev...
Mourad Boudia, Mohamed Aly Ould Louly, Christian P...
« Prev « First page 2220 / 2620 Last » Next »