Resumen: SECTION I: GENERAL OVERVIEW
1. LEGAL SOURCES
1.1. Intellectual Property
1.1.1. International Conventions
1.1.2. EU Law: Approximation of Laws and Community Rights
1.1.3. National Legislation
1.1.4. Institutional Competences
1.2. International Jurisdiction
1.2.1. EU Law: Scope of Application and Grounds of Jurisdiction
1.2.2. International Conventions
1.2.3. National Legislation
1.3. Choice-of-Law
1.3.1. International Conventions
1.3.2. EU
Law: Implications of the new Regulations
1.3.3. National Legislation
1.4. Recognition and Enforcement of Foreign Judgments
1.4.1. International Conventions
1.4.2. EU Law
1.4.3. National Legislation
2. INTELLECTUAL PROPERTY AND PRIVATE INTERNATIONAL LAW
2.1. International Jurisdiction
2.1.1. Infringement Claims
2.1.2. Contractual Disputes
2.1.3. Exclusive Jurisdiction on Validity of Rights Subject to Registration
2.2. Applicable Law
2.2.1. Infringement of IP Rights
2.2.2. Territoriality and lex loci protectionis
2.2.3. Contracts Relating to Intellectual or Industrial Property Rights
2.3. Recognition and Enforcement of Judgments
2.3.1 Procedural Issues
2.3.2 Grounds for Non-Recognition
SECTION II: HYPOTHETICAL CASE STUDIES
Case 1. General Special Grounds of Jurisdiction
Case 2. Subject-Matter Jurisdiction
Case 3. Consolidation of Proceedings
Case 4. Choice of Court
Case 5. Parallel Proceedings
Case 6. Principle of Territoriality (Choice of Law)
Case 7. Infringement of Intellectual Property Rights
Case 8. Applicable Law to Initial Ownership
Case 9. Applicable Law to the Transfer of Rights Agreements
Case 10. Recognition and Enforcement of Foreign Judgments
Case 11. Provisional Measures and Injunctions
Palabras clave: Spain, Intellectual Property, Jurisdiction, Applicable Law, Recognition and Enforcement of Judgments
Resumen: Esta memoria describe el trabajo realizado durante el desarrollo del
proyecto Herramienta CASE hipermedia. Plumbingmatic en el contexto de la
asignatura Sistemas Informáticos de la Universidad Complutense de Madrid.
Desde un punto de vista estructural, la memoria describe la herramienta
PlumbingMatic, proporciona un modelo UML del código, e incluye un anexo con
la especificación
de requisitos software de PlumbingMatic.
La herramienta PlumbingMatic es una herramienta CASE para la
construcción de modelos Pipe de aplicaciones hipermedia. Dicha herramienta
consta de tres grandes módulos. El primer módulo se centra en la creación de
diagramas Pipe. El segundo módulo se centra en la generación de
representaciones XML de dichos diagramas Pipe. Finalmente, el tercer módulo
traduce las representaciones XML de los diagramas Pipe en prototipos
ejecutables.
[ABSTRACT]
This report describes the work done during the development of the project
Hypermedia CASE Tool. PlumbingMatic in the context of the course Computer
Science Systems at the Universidad Complutense de Madrid.
From a structural point of view, this report describes the tool PlumbingMatic,
provides an UML model of the code, and includes an annex with the software
requirements specification of PlumbingMatic.
The tool PlumbingMatic is a CASE tool intended for the development of Pipe
models for hypermedia applications. Such a tool is composed by three modules.
The first module is focused on the development of Pipe diagrams. The second
module is focused on the generation of XML representations of such Pipe
diagrams. Finally, the third module translates the XML representations of Pipe
diagrams into running prototypes.
Palabras clave: Herramienta Case, Hipermedia, Prototipo, Tecnología Case
Resumen: PET es una herramienta ya existente para la generación de casos de prueba que recibe como entrada un código de bytes de Java y una selección entre los criterios de recubrimiento disponibles y obtiene como salida un
conjunto de casos de prueba (test-cases) que garantizan el recubrimiento seleccionado. Puesto que el código de bytes es una representación de bajo
nivel del programa, la información inferida por PET es difícilmente interpretable
por el usuario. Esto en concreto impide la utilización de PET durante el proceso de desarrollo de software, área en la que el testing tiene un amplio campo de aplicación. El objetivo del presente proyecto es la extensión de PET para su uso sobre programas Java de alto nivel y su integración en el entorno de desarrollo integrado Eclipse, con el objetivo de poder usar los resultados obtenidos por PET durante el proceso de desarrollo de software. El presente proyecto, al que hemos nombrado jPET, hace especial hincapié en el tratamiento posterior de la información generada por PET con el objetivo de presentarla al usuario de una forma fácil de entender. jPET incorpora un visor de casos de prueba (test-case viewer) que puede mostrar
el contenido de la memoria antes de la ejecución (heap de entrada) y después de la ejecución de cada caso de prueba (heap de salida). jPET puede mostrar la traza de ejecución de un caso de prueba dado (i.e., la secuencia de instrucciones que el caso de prueba ejecutaría) de dos formas distintas: (1) marcando todas las instrucciones implicadas o (2) permitiendo al usuario reproducir la secuencia de instrucciones paso a paso usando la interfaz
de depuración de Eclipse. Por último, puede analizar sintácticamente precondiciones de métodos escritas en JML (Java modeling language) y usarlas para evitar la generación de casos de prueba poco interesantes. Las principales contribuciones del proyecto se han recogido en un artículo titulado Software testing using jPET [2] que tenemos previsto enviarlo próximamente a un congreso internacional.
[ABSTRAC]
PET is an existing test case generation tool that takes as input a Ja-va bytecode program and a selection of a coverage criteria (among those available in the system) and returns in the output a set of test-cases which ensure the selected coverage. As bytecode is a low-level representation of the program, the information obtained by PET is difficult to interpret by a non-expert user. This particularly prevents the use of PET during software
development, an area in which testing has a large application field. The goal of this pr oject is the extension of PET for its use on Java source programs and its integration within the Eclipse integrated development environment with the objective of being able to apply the results obtained by PET during sofware development.
This project, named jPET, puts special emphasis on advanced processing of the information generated by PET in order to display it to the user in an easy way to interpret. For this purpose, jPET incorporates a viewer of test cases (test-case viewer) that can display the contents of the memory before execution (heap entry) and after the execution of each test case (heap output). jPET can show the execution trace of a given test case (i.e.,the sequence of instructions that execute the test case) in two ways: (1) by marking all instructions involved or (2) by allowing the user to reproduce the sequence of instructions step by step using the Eclipse debugger interface. Finally, jPET can parse preconditions of methods written in JML (Java Modeling Language) and use them to avoid the generation of test cases which are not interesting. The main contributions of this project have been written in a paper
entitled Software testing using jPET [2] that will be submitted soon to an Internacional Conference
Palabras clave: Testing, Generación de casos de prueba, Ejecución
simbólica, Precondiciones, Plugin de Eclipse. Test-case generation, Symbolic execution, Preconditions
Resumen: Negative arrivals are used as a control mechanism in many telecommunication and computer networks. In the paper we analyze multiserver retrial queues; i.e., any customer finding all servers busy upon arrival must leave the service area and re-apply for service after some random time. The control mechanism is such that, whenever the service facility is full occupied, an exponential timer is
activated. If the timer expires and the service facility remains full, then a random batch of customers, which are stored at the retrial pool, are automatically removed. This model extends the existing literature, which only deals
with a single server case and individual removals. Two different approaches are considered. For the stable case, the matrix–analytic formalism is used to study the joint distribution of the service facility and the retrial pool. The approximation by more simple infinite retrial model is also proved. In the overloading case we study the transient behaviour of the trajectory of the suitably normalized retrial queue and the long-run behaviour of the number of busy servers. The method of investigation in this case is based on the averaging principle for switching processes.
Resumen: Hungary became host to various business services through relocations of these activities from other,
higher cost locations, especially from Western Europe and through opening up new capacities. Locational
advantages determine which countries are chosen as hosts to new or relocated service centres.
For the case of Hungary, the analysis is carried out on the basis of eight detailed company case studies
(this number is expected to increase to ten). The majority of these
is vertical FDI (close to 100 % of
export/sales ratio), and two companies represent a confluential case of vertical and horizontal (domestic
market oriented) FDI, where sales to the domestic market are also important, though not dominating.
The paper’s main aim is to make an attempt at contributing to filling some gaps in the literature, in
terms of analysing locational advantages for vertical FDI in services, specifically in business services. It
shows that locational advantages, taken into consideration by vertical and horizontal FDI differ from
each other to a great extent. It identifies the various elements of locational advantages connected to the
different elements of investment motives, in terms of cost reduction, reducing costs of disintegration of
production, reducing other costs, and motives arising from the confluence of vertical and horizontal
FDI, and the paper relates these elements to the specificities of the business services sector.
Palabras clave: Offshore outsourcing, Business services, Locational advantages, Hungary, East Central
Europe.
Resumen: We investigate how compact operators behave under J and K interpolation methods for N spaces and two parameters. First we study those methods: relationship with those already existing in the literature, estimates for the norms of interpolated operators, examples, characterization as Aronszajn-Gagliardo functors,.... We also describe the relationship between Sparr and
Fernandez methods and we derive sharp estimates for the norms of interpolated operators in Fernandez' case. Then we investigate the behaviour of compact operators. We begin with the case when one of the N-tuples reduces to a single Banach space, and later we treat the general case by means of the approach developed in [8].
Resumen: The author studies by the local energy method the compactness of the support of the solutions to nonlinear elliptic or parabolic equations (in this last case also the Stefan-like case is considered).
Palabras clave: weak solutions; quasilinear equation; local energy method; compactness of the support; Stefan-like case