10568 search results - page 2042 / 2114 » Computer Intelligence and Formalization |
146
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
110
Voted
DRM
2005
Springer
15 years 8 months ago
2005
Springer
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...
120
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
130
click to vote
SIGCOMM
2004
ACM
15 years 8 months ago
2004
ACM
The limitations of BGP routing in the Internet are often blamed for poor end-to-end performance and prolonged connectivity interruptions. Recent work advocates using overlays to e...
143
click to vote
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...