7124 search results - page 1147 / 1425 » Programming Languages and Operating Systems |
119
click to vote
EDBT
2010
ACM
15 years 10 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...
116
click to vote
MONTEREY
2007
Springer
15 years 10 months 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...
146
click to vote
MOBIDE
2006
ACM
15 years 10 months 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...
122
click to vote
GC
2004
Springer
15 years 9 months 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...
130
Voted
WWW
2004
ACM
16 years 4 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 (...