Sciweavers

1715 search results - page 113 / 343
» How Space Structures Language
Sort
View
BXML
2004
15 years 5 months ago
Metaschema Layering for XML
: The Extensible Markup Language (XML) is based on the concept of schema languages, which are used for validation of XML documents. In most cases, the metamodeling view of XML-base...
Erik Wilde
ENTCS
2006
151views more  ENTCS 2006»
15 years 3 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
AGTIVE
2007
Springer
15 years 10 months ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe
WETICE
1999
IEEE
15 years 8 months ago
Here Is the Knowledge-Where Should I Put It?
In order to design useful knowledge media spaces to knowledge workers it is essential that we understand the nature of the work conducted and the knowledge applied in real setting...
Peter H. Carstensen, Ulrika Snis
JCDCG
2004
Springer
15 years 9 months ago
Farthest-Point Queries with Geometric and Combinatorial Constraints
In this paper we discuss farthest-point problems in which a set or sequence S of n points in the plane is given in advance and can be preprocessed to answer various queries efficie...
Ovidiu Daescu, Ningfang Mi, Chan-Su Shin, Alexande...