نتایج جستجو برای: sdl
تعداد نتایج: 1000 فیلتر نتایج به سال:
We present the system description language SDL that offers a declarative way of specifying new complex NLP systems from already existing modules with the help of three operators: sequence, parallelism, and unrestricted iteration. Given a system description and modules that implement a minimal interface, the SDL compiler returns a running Java program which realizes exactly the desired behavior ...
Abstract Software systems evolve through addition of new behaviors and new components to the existing behavior and architecture. In this paper, we address the issue of enriching automatically SDL specifications with new behaviors specified with MSCs. The new behaviors should not inhibit (invalidate) existing and already validated behavior. In other words, the existing behavior should be preserv...
SDL and MSC are standardized specification techniques for the development of reactive realtime systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relatio...
In this paper we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve that we use a generalization of the common cellular automata, named m:n-CA, allowing the definition of multiple layers in a single cellular automata. Also we add some extension to SDL language to simplify the representation of these automata. Thanks SDL and m:n-CA the ...
It is undoubtedly true, that the usage of a formal speciica-tion methodology in software design will reduce the development eeort, particularly as embedded hard real{time systems show increasing functional complexity. We suggest the use of the language SDL even for the design of real{time systems with hard timing constraints. Emerging problems, caused by the non{deterministic semantics of SDL, ...
The Speciication and Description Language (SDL) and Message Sequence Charts (MSC) are formal description techniques which gain more and more importance in the development and speciication of complex real-time systems, especially in the telecommunications area. SDL is used to describe the structure and the functional behaviour of a system while MSCs are used to describe its dynamic behaviour. No...
Although Westerners have used over 200 terms to describe self-directed learning (SDL), it is educators in Confucius heritage cultures (CHC) that have successfully promoted and implemented SDL. This article argues that for learners in the Western cultures, especially in the United States to catch up with learners in other industrialized nations including newly emerged China and India, SDL must b...
The Specification and Description Language (SDL) is a worldwide accepted standard for development of new protocols, e.g. an increasing number of IEEE protocol standards uses SDL. Especially for mobile devices it is important that the protocol implementation is as energy efficient as possible. This cannot be achieved with a straight forward code generation from SDL to a target language as for ex...
This paper outlines the specification and evaluation of a MAC layer for wireless ad-hoc networks in the context of SDL Model-Driven Development (SDLMDD), a model-driven approach that utilizes SDL as modelling language. The MDD process leads through the complete development of networked systems in a holistic model-driven way with an extensive support for reuse in form of SDL patterns and SDL com...
Sexual dimorphism for lifespan (SDL) is widespread, but poorly understood. A leading hypothesis, which we test here, is that strong SDL can reduce sexual conflict by allowing each sex to maximize its sex-specific fitness. We used replicated experimental evolution lines of the fruit fly, Drosophila melanogaster, which had been maintained for over 360 generations on either unpredictable 'Random' ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید