The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diļ¬...
The ļ¬rst step in ļ¬nding an eļ¬cient way to solve any diļ¬cult problem is making a complete, possibly formal, problem speciļ¬cation. This paper introduces a formal speciļ¬ca...
Marko Smiljanic, Maurice van Keulen, Willem Jonker
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...
Juan Zhang, Kaleem Siddiqi, Diego Macrini, Ali Sho...
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...
Abstract. This paper introduces JHDLBits, the integration of two prominent FPGA design tools: JHDL and JBits. JHDLBits oļ¬ers the low-level access and control provided by JBits wi...
Alexandra Poetter, Jesse Hunter, Cameron Patterson...