2302 search results - page 358 / 461 » The Evolution of Concurrent Programs |
177
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The identification of chromosomal homology will shed light on such mysteries of genome evolution as DNA duplication, rearrangement and loss. Several approaches have be...
140
click to vote
KBSE
2008
IEEE
16 years 20 days ago
2008
IEEE
A Dependence Anti Pattern is a dependence structure that may indicate potential problems for on–going software maintenance and evolution. Dependence anti patterns are not struct...
158
click to vote
PIMRC
2008
IEEE
16 years 20 days ago
2008
IEEE
—In this paper, we address the problem of computing the transport capacity of Wireless Mesh Networks dedicated to Internet access. Routing and transmission scheduling have a majo...
178
click to vote
IWPSE
2007
IEEE
16 years 17 days ago
2007
IEEE
Good source code documentation, especially of programming interfaces, is essential for using and maintaining software components. In this paper, we present the Quasoledo tool that...
157
click to vote
LFCS
2007
Springer
16 years 12 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...