In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...
Gennaro Costagliola, Andrea De Lucia, Sergio Orefi...
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....
W. Timothy Strayer, Simon Gray, Raymond E. Cline J...
Current object database management systems support user-defined conversion functions to update the database once the schema has been modified. Two main strategies are possible whe...
In this paper, we describe a parallelization scheme for Collins’ cylindrical algebraic decomposition algorithm for quantifier elimination in the theory of real closed fields. ...
A field-programmable gate array (FPGA) implementation of a new detection algorithm for uncoded multiple inputmultiple output (MIMO) systems based on the complex version of the sph...