5376 search results - page 195 / 1076 » Scalable Kernel Systems |
160
click to vote
ASWC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Ontology reasoning is an indispensable step to fully exploit the implicit semantics of Semantic Web data. The inherent distribution characteristic of the Semantic Web and...
129
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
166
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...
164
click to vote
IDEAS
1999
IEEE
15 years 8 months ago
1999
IEEE
Decision support systems are important in leveraging information present in data warehouses in businesses like banking, insurance, retail and health-care among many others. The mu...
145
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
As more and more multi-tier services are developed from commercial off-the-shelf components or heterogeneous middleware without source code available, both developers and administr...