Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...
Callum Galbraith, Przemyslaw Prusinkiewicz, Brian ...
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...