1036 search results - page 185 / 208 » Report on INEX 2009 |
72
Voted
CCS
2009
ACM
15 years 4 months 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...
EDBT
2009
ACM
15 years 4 months 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...
EDBT
2009
ACM
15 years 4 months 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...
76
Voted
VMCAI
2009
Springer
15 years 4 months 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...
CCGRID
2009
IEEE
15 years 4 months 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...