10890 search results - page 1719 / 2178 » Automatic Complexity Analysis |
192
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
Security in the access to web contents and the interaction with web sites is becoming one of the most important issues in Internet. Servers need to provide certain levels of secur...
212
click to vote
DEXA
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...
181
click to vote
PLDI
2004
ACM
16 years 7 days ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
174
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
220
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...