7124 search results - page 1147 / 1425 » Programming Languages and Operating Systems |
163
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Querying non-conventional data is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is the ability to qu...
147
click to vote
MONTEREY
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
193
Voted
MOBIDE
2006
ACM
16 years 18 days ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
166
click to vote
GC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
174
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this poster we introduce ProThes, a pilot meta-search engine (MSE) for a specific application domain. ProThes combines three approaches: meta-search, graphical user interface (...