Model Transformation (MT) is an important operation in the domain of Model-Driven Engineering (MDE). While MDE continues to be further adopted in the design and development of systems, MT programs are applied to more and more complex configurations of models and relationships between them and grow in complexity. Structured techniques have proven to be helpful in design and development of progra...

IMGT/V-QUEST (V-QUEry and STandardization) is an integrated alignment tool for the immunoglobulin (IG) and T cell receptor (TR) nucleotide sequences. IMGT/V-QUEST compares germline or rearranged IG or TR variable sequences from users with the IMGT/V-QUEST reference directory sets. The software is based on an original alignment approach which does not accept insertions and deletions. It identifi...

Ontology Based Data Access (OBDA) has drawn considerable attention from the OWL and RDF communities. In OBDA, instance data is accessed by means of mappings, which state the relationship between the data in a data source (e.g., an RDBMSs) and the vocabulary of an ontology. In this paper we present Quest, a new system for OBDA focused on fast and efficient reasoning with large ontologies and lar...

Quest-V is a new system currently under development for multicore processors. It comprises a collection of separate kernels operating together as a distributed system on a chip. Each kernel is isolated from others using virtualization techniques, so that faults do not propagate throughout the entire system. This multikernel design supports online fault recovery of compromised or misbehaving ser...