Sciweavers

1394 search results - page 258 / 279
» Executing Nested Queries
Sort
View
EUC
2006
Springer
15 years 6 months ago
Scalable Message Routing for Mobile Software Assistants
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...
Pawel T. Wojciechowski
FASE
2006
Springer
15 years 6 months ago
A Graph-Based Approach to Transform XML Documents
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
Gabriele Taentzer, Giovanni Toffetti Carughi
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 5 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
DNIS
2010
Springer
240views Database» more  DNIS 2010»
15 years 5 months ago
AccKW: An Efficient Access Control Scheme for Keyword-Based Search over RDBMS
Access control for relational databases is a well researched area. An SQL query is allowed or denied access to database according to the specified access control policy. On the oth...
Vikram Goyal, Ashish Sureka, Sangeeta Lal
122
Voted
CIKM
2008
Springer
15 years 4 months ago
A measure for cluster cohesion in semantic overlay networks
Semantic overlay networks cluster peers that are semantically, thematically or socially close into groups by means of a rewiring procedure that is periodically executed by each pe...
Paraskevi Raftopoulou, Euripides G. M. Petrakis