630 search results - page 46 / 126 » The Future Is Not Assured - But It Should Be |
126
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Database storage managers have long been able to efficiently handle multiple concurrent requests. Until recently, however, a computer contained only a few single-core CPUs, and th...
139
click to vote
NTMS
2009
IEEE
15 years 8 months ago
2009
IEEE
—IPSec is a protocol that allows to make secure connections between branch offices and allows secure VPN accesses. However, the efforts to improve IPSec are still under way; one ...
136
click to vote
ISBRA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Many of the steps in phylogenetic reconstruction can be confounded by “rogue” taxa, taxa that cannot be placed with assurance anywhere within the tree—whose locatio...
130
click to vote
WECWIS
2007
IEEE
15 years 8 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
153
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...