591 search results - page 75 / 119 » Implementing Joins Using Extensible Pattern Matching |
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
ReAgents are remotely executing agents that customize Web browsing for non-standard resource-limited clients. A reAgent is essentially a "one-shot" mobile agent that act...
81
Voted
PR
2006
14 years 9 months ago
2006
Texture analysis has been used extensively in the computer-assisted interpretation of digital imagery. A popular texture feature extraction approach is the grey level co-occurrenc...
122
Voted
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
āTarget tracking is a main application of wireless sensor networks (WSNs), and has been studied widely [4], [10]. In this work, we study indoor passive tracking problem using WSN...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Formal, modular, and mechanized veriļ¬cation of realistic systems code is desirable but challenging. Veriļ¬cation of machine context management (a basis of multi-tasking) is one ...