130 search results - page 18 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
JCDL
2009
ACM
15 years 4 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Establishing and maintaining cooperation is an enduring problem in multi-agent systems and, although several solutions exist, the increased use of online trading systems, peerto-p...
BMCBI
2010
14 years 4 months ago
2010
Background: Elucidating protein-protein interactions (PPIs) is essential to constructing protein interaction networks and facilitating our understanding of the general principles ...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...