8828 search results - page 424 / 1766 » Formal methods in practice |
201
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
As valuable software systems get old, reverse engineering becomes more and more important to the companies that have to maintain the code. Clustering is a key activity in reverse ...
180
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
This paper examines important factors for link prediction in networks and provides a general, high-performance framework for the prediction task. Link prediction in sparse network...
199
click to vote
SIGIR
2003
ACM
16 years 4 days ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
211
click to vote
JUCS
2006
15 years 6 months ago
2006
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...
179
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...