2950 search results - page 565 / 590 » Computing with Infinitely Many Processes |
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
CHIMIT
2009
ACM
14 years 3 months ago
2009
ACM
End users are often frustrated by unexpected problems while using networked software, leading to frustrated calls to the help desk seeking solutions. However, trying to locate the...
AICCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
In the maximum common subgraph (MCS) problem, we are given a pair of graphs and asked to find the largest induced subgraph common to them both. With its plethora of applications,...
IPCCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Rapidly-spreading malicious software is an important threat on today’s computer networks. Most solutions that have been proposed to counter this threat are based on our ability ...
AB
2007
Springer
14 years 3 months ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...