5550 search results - page 303 / 1110 » Different Approaches to Proof Systems |
166
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
205
Voted
ESORICS
2012
Springer
13 years 9 months ago
2012
Springer
Although recent compromises and admissions have given new credibility to claimed encounters of Man-in-the-middle (MitM) attacks on SSL/TLS, very little proof exists in the public r...
158
click to vote
BTW
2005
Springer
16 years 7 days ago
2005
Springer
: Optimizers in modern DBMSs utilize a cost model to choose an efficient query execution plan (QEP) among all possible ones for a given query. The accuracy of the cost estimates de...
205
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Cache partitioning and sharing is critical to the effective utilization of multicore processors. However, almost all existing studies have been evaluated by simulation that often ...
164
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Accurate and sensitive performance evaluation is crucial for both effective development of better structure prediction methods based on sequence similarity, and for th...