Sciweavers

3333 search results - page 464 / 667
» Abstract Proof Search
Sort
View
DASFAA
2009
IEEE
126views Database» more  DASFAA 2009»
16 years 1 months ago
Supporting Execution-Level Business Process Modeling with Semantic Technologies
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
Matthias Born, Jörg Hoffmann, Tomasz Kaczmare...
CEC
2009
IEEE
16 years 1 months ago
Bio-inspired reverse engineering of regulatory networks
— Regulatory networks are complex networks. This paper addresses the challenge of modelling these networks. The Boolean representation is chosen and supported as a representation...
Cristina Costa Santini, Gunnar Tufte, Pauline C. H...
CEC
2009
IEEE
16 years 1 months ago
An orthogonal multi-objective evolutionary algorithm with lower-dimensional crossover
Abstract— This paper proposes an multi-objective evolutionary algorithm. The algorithm is based on OMOEA-II[2]. A new linear breeding operator with lower-dimensional crossover an...
Song Gao, Sanyou Y. Zeng, Bo Xiao, Lei Zhang, Yulo...
CSE
2009
IEEE
16 years 1 months ago
Has Anyone Seen My Goose? Social Network Services in Developing Regions
Abstract— In developing regions, Internet connectivity is extremely poor, while mobile phone penetration is much higher. The inhabitants of developing conuntries still rely on tr...
Narseo Vallina-Rodriguez, Pan Hui, Jon Crowcroft
KBSE
2009
IEEE
16 years 29 days ago
Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
Aldeida Aleti, Lars Grunske, Indika Meedeniya, Ire...