Sciweavers

576 search results - page 56 / 116
» Model composition for scheduling analysis in platform design
Sort
View
ENTCS
2010
120views more  ENTCS 2010»
13 years 9 months ago
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. A...
EDOC
2000
IEEE
14 years 1 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
NAR
2011
194views Computer Vision» more  NAR 2011»
12 years 12 months ago
GreenPhylDB v2.0: comparative and functional genomics in plants
GreenPhylDB is a database designed for comparative and functional genomics based on complete genomes. Version 2 now contains sixteen full genomes of members of the plantae kingdom...
Mathieu Rouard, Valentin Guignon, Christelle Aluom...
CCE
2005
13 years 9 months ago
Process industry supply chains: Advances and challenges
A large body of work exists in process industry supply chain optimisation. We describe the state of the art of research in infrastructure design, modelling and analysis and planni...
Nilay Shah
GECCO
2007
Springer
196views Optimization» more  GECCO 2007»
14 years 3 months ago
An estimation of distribution algorithm with guided mutation for a complex flow shop scheduling problem
An Estimation of Distribution Algorithm (EDA) is proposed to approach the Hybrid Flow Shop with Sequence Dependent Setup Times and Uniform Machines in parallel (HFSSDST-UM) proble...
Abdellah Salhi, José Antonio Vázquez...