Sciweavers

4491 search results - page 311 / 899
» Algorithm Engineering
Sort
View
140
Voted
JSS
2002
138views more  JSS 2002»
15 years 3 months ago
Architectural design and evaluation of an efficient Web-crawling system
This paper presents an architectural design and evaluation result of an efficient Web-crawling system. The design involves a fully distributed architecture, a URL allocating algor...
Hongfei Yan, Jianyong Wang, Xiaoming Li, Lin Guo
124
Voted
ICST
2010
IEEE
15 years 2 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
WER
2010
Springer
15 years 1 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
DOCENG
2010
ACM
15 years 26 days ago
Diffing, patching and merging XML documents: toward a generic calculus of editing deltas
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
Jean-Yves Vion-Dury
SWARM
2010
SPRINGER
178views Optimization» more  SWARM 2010»
14 years 10 months ago
On artificial immune systems and swarm intelligence
Abstract This position paper explores the nature and role of two bio-inspired paradigms, namely Artificial Immune Systems (AIS) and Swarm Intelligence (SI). We argue that there are...
Jon Timmis, Paul S. Andrews, Emma Hart