Browsing Ponencias (Lenguajes y Sistemas Informáticos) by Issue Date
Now showing items 1-20 of 408
-
Automatic Test Case Generation from Functional Requirements in NDT [Presentation]
(Springer, 212)Navigational Development Techniques (NDT) is a Model-driven framework focused on defining Web requirements and obtaining related artefacts from them by means of transformations. Testing is one of the key elements in a ...
-
Caracterización de las cenizas de piritas de suroeste español como posible mena de Cu, Zn, Ag, y Au [Presentation]
(I Congreso Nacional Cuenca Minera de Riotinto, 1988) -
Extracción de Cu y Zn en cenizas de piritas mediante lixiviación ácida [Presentation]
(Congreso Nacional Cuenca Minera de Riotinto, 1988) -
Extracción de Au y Ag a partir de cenizas de piritas mediante cianuración [Presentation]
(Congreso Nacional Cuenca Minera de Riotinto, 1988) -
Estimación económica global de la recuperación hidrometalúrgica de Cu, Zn, Ag y Au en cenizas de piritas [Presentation]
(Congreso Nacional Cuenca Minera de Riotinto, 1988) -
A Technique for Distributed Systems Specification [Presentation]
(IEEE Computer Society, 1995)In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. The main constructors in this language are the objects. An object consists of a state, a behaviour ...
-
Including Qualitative Knowledge in Semiqualitative Dynamical Systems [Presentation]
(Springer, 1998)A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative knowledge may be expressed in their parameters, initial conditions and/or vector fields. The ...
-
Automatic Semiqualitative Analysis: Application to a Biometallurgical System [Presentation]
(Springer, 1998)The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented by means of qualitative operators and envelope functions. A semiqualitative model is transformed ...
-
Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion [Presentation]
(Springer Nature, 1998)A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled planning approach has been used; that is, the problem has been decomposed into two subproblems: ...
-
Application of a Natural Language Interface to the Teleoperation of a Mobile Robot [Presentation]
(Elsevier, 1998)This paper describes the application of a natural language interface to the teleoperation of a mobile robot. Natural language communication with robots is a major goal, since it allows for non expert people to communicate ...
-
CGO y COBLI: clasificadores oblícuos basados en algoritmos genéticos [Presentation]
(1999) -
Implementing Multiparty Interactions on a Network Computer [Presentation]
(IEEE Computer Society, 1999)Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need to describe the behaviour of three or more processes that need to collaborate simultaneously in ...
-
A Requirements Elicitation Approach Based in Templates and Patterns [Presentation]
(1999)One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer professional customers and users. The ...
-
Integration of expert system rules into standarized object description models for telecommunication network management [Presentation]
(2000)The work described in this paper is focused on the attainment of a product that: a) is able to manage a communication network according to ISO ant ITU-T standards (Telecommunication Management Network, TMN, model); b) ...
-
Aplicación Integrada de la Biblioteca Digital del Patrimonio Histórico Andaluz [Presentation]
(2000)En este trabajo se describen las necesidades del Instituto Andaluz de Patrimonio Histórico para desarrollar el Sistema de Información Integrado de Patrimonio Histórico Andaluz. El objetivo es crear un sistema de acceso ...
-
Diseño del Modelo Navegacional para Sistemas de Tratamiento de Bibliotecas Digitales [Presentation]
(2000)Los sistemas de tratamiento de bibliotecas digitales nacen como sistemas complejos en los que se mezclan importantes requisitos de almacenamiento de información, debido a los múltiples medios que se usan en ellos, con ...
-
Identificación de Patrones de Reutilización de Requisitos de Sistemas De Información [Presentation]
(2000) -
Automated Support for Quality Requirements in Web–Service–Based Systems [Presentation]
(IEEE Computer Society, 2001)The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason is that it will allow to build economically–optimal systems whose quality level can be guaranteed. ...
-
a framework for aspect–oriented multiparty coordination [Presentation]
(Springer, 2001)Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting properties that do no fit into the scope of a class must be satisfied. In this paper, we show ...
-
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales [Presentation]
(2001)El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes ...