This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
In this paper, models and algorithms are presented for transcription of pitch and timings in polyphonic music extracts, focusing on the algorithm details of the sequential Markov ...
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...
Ioana Manolescu, Andrei Arion, Angela Bonifati, An...
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...