3385 search results - page 608 / 677 » Language, Logic, and the Brain |
181
click to vote
SEMWEB
2009
Springer
16 years 26 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
169
click to vote
TAP
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
183
click to vote
ETFA
2008
IEEE
16 years 24 days ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
146
click to vote
ICDE
2008
IEEE
16 years 23 days ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
175
click to vote
IDEAS
2008
IEEE
16 years 22 days ago
2008
IEEE
As the popularity of areas including document storage and distributed systems continues to grow, the demand for high performance XML databases is increasingly evident. This has le...