Search results for "SPECIFICATION"

Specification and Implementation of Multicast Congestion Control Stair Protocol: Use Case with Multimedia Ubiquitous Networks

2008

Ubiquitous and efficient multicast data delivery service is essential to the success of large-scale group communication applications. In this framework, congestion control through ubiquitous networks is a hot topic for multicast real time protocols. In this paper, authors present specification and implementation of simulate TCP's AIMD with rate-based (STAIR), a multicast congestion control mechanism. Authors have enhanced this approach because they have modeled it using Unified Modeling Language with real time extensions (UML-RT) as a formal specification tool. More to the point point, they introduce a multimedia ubiquitous network which they have used as a reference model to promote their …

Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine

2005

Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…

LanguageLab - A Meta-modelling Environment

2015

In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…

Automatic Temporal Formatting of Multimedia Presentations Using Dynamic Petri Nets.

2009

An efficient authoring tool would provide support for automatic temporal formatting and modeling of multimedia presentations. Automatic temporal formatting is a process of converting the given presentation specifications into a required temporal format. This paper presents an algorithm that can convert a temporal layout into a dynamic petri net (DPN )w hich can represent iterative and interactive presentation components effectively. The prototype of the authoring tool extracts the temporal layout from any given SMIL file representation and uses the proposed algorithm to automatically convert it into a DPN. The DPN generated automatically at compile-time helps the run-time components in effe…

Path Planning in Inspection Process of 3-D Parts Used the Visibility Technique

2006

International audience; In this paper presents a new method for digitalization of parts with non-contact sensor remains nevertheless complex. It is not completely solved today, in particular from a metrological point of view. In this article, we consider the determination of the trajectory planning within the framework of the control of dimensional and geometrical specifications. The sensor used in this application is a laser planner scanner with CCD camera oriented and moved by a CMM. Thus, we seek to determine which are the best possible orientations of the sensor with respect to the geometrical specifications of the measured part, giving the admissible measurement uncertainties. The deve…

3D surfaces automated acquisition using non contact sensor with repect of metrological conditions

2013

International audience

Specifications for Territorial Intelligence Community Systems

2009

CATALYSE Toolkit. Specifications for the processing and editorial chain from territorial data to results

2008

Electronic noses : specify or disappear

2000

Abstract When the quality control is achieved by using GC or GC/MS, the apparatus must comply with the applicable norms, but what about “electronic noses”? End users demand for formal specifications for selectivity, sensitivity, repeatability and sample throughput. The behavioural modelling of electronic olfactometers may provide specifications for these required parameters. This will allow both the measure itself, and evaluate the influence of the experimental errors on the sample classification. Users may expect to find a methodology allowing the performances of systems to be checked before any final decision and during routine use. We have demonstrated that the system sensitivity and log…

Spatially restricted expression of PlOtp, a Paracentrotus lividus Orthopedia-related homeobox gene, is correlated with oral ectodermal patterning and…

1999

ABSTRACT Several homeobox genes are expressed in the sea urchin embryo but their roles in development have yet to be elucidated. Of particular interest are homologues of homeobox genes that in mouse and Drosophila are involved in patterning the developing central nervous system (CNS). Here, we report the cloning of an orthopedia (Otp)-related gene from Paracentrotus lividus, PlOtp. Otp is a single copy zygotic gene that presents a unique and highly restricted expression pattern. Transcripts were first detected at the mid-gastrula stage in two pairs of oral ectoderm cells located in a ventrolateral position, overlying primary mesenchyme cell (PMC) clusters. Increases in both transcript abund…