Sciweavers

12551 search results - page 2288 / 2511
» Reuse in Systems Engineering
Sort
View
151
Voted
FSTTCS
2005
Springer
15 years 10 months ago
Causal Closure for MSC Languages
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, V...
FSTTCS
2005
Springer
15 years 10 months ago
Reasoning About Quantum Knowledge
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
Ellie D'Hondt, Prakash Panangaden
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
15 years 10 months ago
Incorporating fuzzy knowledge into fitness: multiobjective evolutionary 3D design of process plants
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
Ingo Mierswa
GECCO
2005
Springer
139views Optimization» more  GECCO 2005»
15 years 10 months ago
A genetic algorithm for unmanned aerial vehicle routing
Genetic Algorithms (GAs) can efficiently produce high quality results for hard combinatorial real world problems such as the Vehicle Routing Problem (VRP). Genetic Vehicle Represe...
Matthew A. Russell, Gary B. Lamont
ICCS
2005
Springer
15 years 10 months ago
eMicrob: A Grid-Based Spatial Epidemiology Application
The use of Grid technologies allows us to make progress in the prediction accuracy of epidemiological patterns, epidemiological modeling, risk predictions of infectious diseases et...
Jianping Guo, Yong Xue, Chunxiang Cao, Wuchun Cao,...
« Prev « First page 2288 / 2511 Last » Next »