Sciweavers

6079 search results - page 1048 / 1216
» Aspect-Oriented Process Engineering
Sort
View
FSTTCS
2005
Springer
14 years 3 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
14 years 3 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
GECCO
2005
Springer
154views Optimization» more  GECCO 2005»
14 years 3 months ago
The molecule evoluator: an interactive evolutionary algorithm for designing drug molecules
To help chemists design new drugs, we created a tool that uses interactive evolution to design drug molecules, the “Molecule Evoluator”. In contrast to most other evolutionary...
Eric-Wubbo Lameijer, Adriaan P. IJzerman, Joost N....
ICCS
2005
Springer
14 years 3 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,...
ICNC
2005
Springer
14 years 3 months ago
Harmony Search for Generalized Orienteering Problem: Best Touring in China
In order to overcome the drawbacks of mathematical optimization techniques, soft computing algorithms have been vigorously introduced during the past decade. However, there are sti...
Zong Woo Geem, Chung-Li Tseng, Yongjin Park
« Prev « First page 1048 / 1216 Last » Next »