5550 search results - page 582 / 1110 » Different Approaches to Proof Systems |
246
Voted
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
260
Voted
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Optimizing SQL subqueries has been an active area in database research and the database industry throughout the last decades. Previous work has already identified some approaches ...
201
Voted
SAC
2005
ACM
16 years 26 days ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
195
click to vote
KBSE
2003
IEEE
16 years 17 days ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
194
Voted
AROBOTS
2002
15 years 7 months ago
2002
This paper addresses the problem of tracking multiple targets using a network of communicating robots and stationary sensors. We introduce a Region-based Approach which controls r...