6794 search results - page 590 / 1359 » Semantics of Visual Languages |
199
click to vote
CONCUR
2004
Springer
16 years 15 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
164
click to vote
ER
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. World wide web has gained a lot of prominence with respect to information retrieval and data delivery. With such a prolific growth, a user interested in a specific change...
225
click to vote
RULEML
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
213
click to vote
COOPIS
2003
IEEE
16 years 12 days ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
212
click to vote
LAWEB
2003
IEEE
16 years 11 days ago
2003
IEEE
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...