Buscar
Mostrando ítems 1-10 de 175
Artículo
Coordinated motion planning of manipulators by evolution strategies
(WIT Press, 1995)
A method for obtaining coordinated motion plans of manipulator robots is presented. This planning can be easily implemented by programs written in any industrial robot programming language, such as VAL II. The generated ...
Ponencia
Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999-11)
Artículo
Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
Ponencia
Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion
(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: ...
Artículo
Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos
(Scientific Electronic Library Online (SCIELO), 2005-01)
En este artículo se propone una metodología para razonar sobre los modelos semicualitativos construidos para sistemas dinámicos con conocimiento cualitativo y cuantitativo. La información cualitativa de estos sistemas puede ...
Ponencia
Some Problems of Current Modelling Languages that Obstruct to Obtain Models as Instruments
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2004-11)
In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such languages are instruments that pursue one or several typi ed purposes, which include: (1) to represent ...
Artículo
A Multiparty Coordination Aspect Language
(ACM Digital Library, 2000)
Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be partially achieved by implementing them in a way that is independent of the way they interact. Isolating ...
Ponencia
A Technique for Distributed Systems Specification
(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 ...
Ponencia
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...