1746 search results - page 159 / 350 » A Constructive Semantics for ALC |
165
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
Ontologies proliferate with the growth of the Semantic Web. However, most of data on the Web are still stored in relational databases. Therefore, it is important to establish inter...
140
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
Potluck is a web user interface (Figure 1) that lets casual users— those without programming skills and data modeling expertise—merge and repurpose heterogeneous Semantic Web d...
152
click to vote
SPIN
2007
Springer
16 years 17 days ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
139
click to vote
ACSD
2005
IEEE
16 years 3 days ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
190
click to vote
ASWEC
2005
IEEE
16 years 3 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...