Sciweavers

1482 search results - page 285 / 297
» Facilitating Agent Development in Open Distributed Systems
Sort
View
AP2PC
2004
Springer
15 years 3 months ago
Unstructured Peer-to-Peer Networks: Topological Properties and Search Performance
Performing efficient decentralized search is a fundamental problem in Peer-to-Peer (P2P) systems. There has been a significant amount of research recently on developing robust sel...
George H. L. Fletcher, Hardik A. Sheth, Katy B&oum...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 3 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
CAISE
2003
Springer
15 years 3 months ago
Sharing Mobile Databases in Dynamically Configurable Environments
We define a Mobile Database Community (MDBC) as a dynamic collection of autonomous mobile databases in which each database user can access databases in the community through a wir...
Angelo Brayner, José de Aguiar Moraes Filho
SEMWEB
2001
Springer
15 years 2 months ago
Industrial Strength Ontology Management
Ontologies are becoming increasingly prevalent and important in a wide range of e-commerce applications. E-commerce applications are using ontologies to support parametric searches...
Aseem Das, Wei Wu, Deborah L. McGuinness
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 2 months ago
A method for parameter calibration and relevance estimation in evolutionary algorithms
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...
Volker Nannen, A. E. Eiben