3169 search results - page 534 / 634 » A General Framework for Large Scale Systems Development |
148
Voted
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
145
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
162
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
225
Voted
IHI
2012
13 years 11 months ago
2012
Biological network analysis often aims at the target identification problem, which is to predict which molecule to inhibit (or activate) for a disease treatment to achieve optimu...
146
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...