354 search results - page 11 / 71 » Consistency between Executable and Abstract Processes |
110
click to vote
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
The prediction of protein secondary structure is a classical problem in bioinformatics, and in the past few years several machine learning techniques have been proposed to t. From...
120
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
139
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Chemical Genetic Programming (CGP) is a new method of genetic programming that introduced collision-based biochemical processes and realized dynamic mapping from genotypic strings ...
RAID
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
118
click to vote
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...