3424 search results - page 468 / 685 » Building Diverse Computer Systems |
153
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
155
click to vote
ISNN
2005
Springer
15 years 10 months ago
2005
Springer
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything)...
140
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
120
click to vote
MDM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we propose adaptive content-driven routing and data dissemination algorithms for intelligently routing search queries in a peer-to-peer network that supports mobile ...
133
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
We present contextual collaboration, an approach to building collaborative systems that embeds collaborative capabilities into core applications, and discuss its advantages. We de...