10055 search results - page 384 / 2011 » Structured programming using processes |
104
click to vote
EUROGP
2003
Springer
15 years 6 months ago
2003
Springer
We introduce a new recombination operator, the Maximum Homologous Crossover for Linear Genetic Programming. In contrast to standard crossover, it attempts to preserve similar struc...
118
click to vote
ICWE
2004
Springer
15 years 6 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
104
click to vote
SIGMETRICS
2003
ACM
15 years 6 months ago
2003
ACM
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
90
Voted
MICAI
2000
Springer
15 years 4 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
75
Voted
ERCIMDL
2005
Springer
15 years 6 months ago
2005
Springer
The aim of the study was to determine how significance indicators assigned to different Web page elements (internal metadata, title, headings, and main text) influence automated cl...