4767 search results - page 440 / 954 » Structures for Abstract Rewriting |
224
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
182
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
206
click to vote
MIS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
173
click to vote
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
169
click to vote
DEXAW
2003
IEEE
16 years 4 days ago
2003
IEEE
In this work we consider ontologies as knowledge structures that specify terms, their properties and relations among them to enable knowledge extraction from texts. We represent o...