5818 search results - page 82 / 1164 » A reasonable Semantic Web |
113
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Semantic Web is, without a doubt, gaining momentum in both industry and academia. The word "Semantic" refers to "meaning"
112
click to vote
SSDBM
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
104
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
133
click to vote
GPC
2010
Springer
15 years 8 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...