13383 search results - page 2273 / 2677 » Abstractions from proofs |
145
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We address the problem of detecting characteristic patterns in communication networks. We introduce a scalable approach based on set-system discrepancy. By implicitly lab...
124
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--In this paper, we consider a novel problem referred to as term filtering with bounded error to reduce the term (feature) space by eliminating terms without (or with bound...
161
click to vote
ICICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In open scenarios, where servers may receive requests to access their services from possibly unknown clients, access control is typically based on the evaluation of (cert...
227
Voted
ICOODB
2010
15 years 2 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
143
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...