1036 search results - page 185 / 208 » Report on INEX 2009 |
160
click to vote
CCS
2009
ACM
16 years 29 days ago
2009
ACM
We introduce Torsk, a structured peer-to-peer low-latency anonymity protocol. Torsk is designed as an interoperable replacement for the relay selection and directory service of th...
167
click to vote
EDBT
2009
ACM
16 years 29 days ago
2009
ACM
Business Intelligence (BI) refers to technologies, tools, and practices for collecting, integrating, analyzing, and presenting large volumes of information to enable better decisi...
172
click to vote
EDBT
2009
ACM
16 years 29 days ago
2009
ACM
Business processes drive the operations of an enterprise. In the past, the focus was primarily on business process design, modeling, and automation. Recently, enterprises have rea...
150
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
182
click to vote
CCGRID
2009
IEEE
16 years 28 days ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...