On the Integration of UML and Petri Nets in Software Development (2008)
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life cycle. This paper...
On the Integration of UML and Petri Nets in Software Development (2008)
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life cycle. This paper...
Recent Changes in the Spanish Rail Model: the Role of Competition (2008)
After a brief historical overview of its main achievements, this paper examines some of the most relevant characteristics of the Spanish rail system and its performance in recent years. It...
Recent Changes in the Spanish Rail Model: the Role of Competition (2008)
After a brief historical overview of its main achievements, this paper examines some of the most relevant characteristics of the Spanish rail system and its performance in recent years. It...
Recent Changes in the Spanish Rail Model: the Role of Competition (2008)
After a brief historical overview of its main achievements, this paper examines some of the most relevant characteristics of the Spanish rail system and its performance in recent years. It...
Recent Changes in the Spanish Rail Model: the Role of Competition (2008)
After a brief historical overview of its main achievements, this paper examines some of the most relevant characteristics of the Spanish rail system and its performance in recent years. It...
Performance Models Based On Petri Nets (2007)
Manuel Silva, Javier Campos, Elctrica Informtica
INTRODUCTION A Petri net (PN), like a differential equation, is a mathematical formalism. PNs find their basics in a few simple objects, relations and rules, yet can represent very complex...
Performance Analysis of Live and Bounded Free Choice Systems (2007)
this report, some of the obtained results for the case of live and bounded free choice (LBFC) systems with general service time distributions are collected. We first include a Departamento de...
On approximate throughput computation of Deterministic Systems of Sequential Processes (2007)
We concentrate on a family of discrete event systems obtained from a simple modular design principle that include in a controlled way primitives to deal with concurrency, decisions, synchronization,...
Properties and Bounds on P/T Nets (2007)
Javier Campos, D. L. Eager, G. L. Nemhauser, M. J. Todd
A complementary approach to exact or approximation techniques...
We concentrate on a family of discrete event systems obtained from a simple modular design principle that include in a controlled way primitives to deal with concurrency, decisions, synchronization,...
Approximate Throughput Computation Of A Class Of Cooperating Sequential Processes (2007)
this paper is to present an approximation technique to compute the throughput of large models based on a decomposition principle, thus reducing the classical state explosion problem. The presented...
Approximate throughput computation of a class of discrete event systems (DES) modelled with stochastic weighted T --systems is considered. Stochastic weighted T --systems are the weighted extension...
Software Performance Modeling using UML and Petri (2007)
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as auctions or...
Noelia Martín, Antonio Estache, Javier Campos
This paper provides empirical evidence on the impact that private participation in infrastructure has had on key macroeconomic variables in a sample of 21 Latin American countries during the...
Solving the Mobile Robot Localization Problem Using String Matching Algorithms (2007)
Candida Gonzalez-Buesa, Javier Campos
In this paper we address the mobile robot localization using some techniques borrowed from the Computational Biology community. The specific problem studied here is also known as the kidnapped robot...
Evaluating Performance on Mobile Agents Software Design (2007)
Abstract. Software design and implementation using mobile agents are nowadays involved in a scepticism halo. There exist researchers who question its utility because it could be a new technology...
Los fundamentos económicos de la política de transporte europea: un análisis crítico (2007)
Los fundamentos económicos de la política de transporte europea: un análisis crítico
� Post-graduate (master/PhD) (2007)
details � 15 lectures of 50 minutes � Topics: � Formal models of concurrent systems, Petri nets � Qualitative and quantitative (performance) analysis � Software performance engineering �...
The cost of building and operating a new high speed rail line (2007)
Campos , Javier, De Rus, Gines, Barron, Iñaki
What is the total cost of building, maintaining and operating a new high speed rail (HSR) line? Trying to answer this question is the main objective of this paper. To address it we will make an...
A review of HSR experiences around the world (2007)
Campos , Javier, De Rus, Gines, Barron, Ignacio
High Speed Railways (HSR) is currently regarded as one of the most significant technological breakthroughs in passenger transportation developed in the second half of the 20th century. At the...
Los fundamentos económicos de la política de transporte europea: un análisis crítico (2005)
This paper revises the underlining principles of the European transport policy and analizes how these principle have been translated into policy in the recent past. The analysis is based in three...
Efectos de la descentralización de la política de defensa de la competencia (2004)
Jiménez, Juan Luis, Campos, Javier
En los últimos años, tanto en la Unión Europea como en España, se ha procedido a descentralizar algunos aspectos relevantes de la política de defensa de la competencia. El objetivo de este...
Efectos de la descentralización de la política de defensa de la competencia (2004)
Jiménez, Juan Luis, Campos, Javier
En los últimos años, tanto en la Unión Europea como en España, se ha procedido a descentralizar algunos aspectos relevantes de la política de defensa de la competencia. El objetivo de este...
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the integration of formal...
On performance bounds for interval Time Petri Nets (2004)
Simona Bernardi, Javier Campos
Interval time Petri Nets are Petri nets in which time intervals are associated to transitions. Their quantitative analysis basically consists in applying enumerative techniques that suffer the well...
Concentración agregada y desigualdad entre empresas: una comparación internacional (2003)
Juan Luis Jiménez, Javier Campos
Este trabajo analiza el grado de concentración y desigualdad existente entre las 2.350 empresas mayores del mundo, aportando como novedades el basarse en la información publicada anualmente por el...
Concentración agregada y desigualdad entre empresas: una comparación internacional (2003)
Jiménez, Juan Luis, Campos, Javier
Este trabajo analiza el grado de concentración y desigualdad existente entre las 2.350 empresas mayores del mundo, aportando como novedades el basarse en la información publicada anualmente por el...
Concentración agregada y desigualdad entre empresas: una comparación internacional (2003)
Jiménez, Juan Luis, Campos, Javier
Este trabajo analiza el grado de concentración y desigualdad existente entre las 2.350 empresas mayores del mundo, aportando como novedades el basarse en la información publicada anualmente por el...
Economía del transporte (2003)
Rus, Ginés De, Campos, Javier, Nombela, Gustavo
Contenido: Principios de la economía del transporte; La producción de actividades de transporte; Los costes del transporte; La demanda de transporte; Criterios de fijación de precios; La...
José Merseguer, Javier Campos, Eduardo Mena
Abstract. Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the...
Concentración agregada y desigualdad entre empresas: Una comparación internacional (2002)
Jiménez, Juan Luis, Campos, Javier
Este trabajo analiza el grado de concentración y desigualdad existente entre las 2.350 mayores empresas del mundo, aportando como novedad la utilización de información publicada anualmente por el...
Vega, Gilberto, Campos, Javier
When major investors own shares in several firms in the same industry, the traditional approach to concentration measurement by the Hirschman-Herfindahl Index (HHI) fails to accurately reflect the...
Concentración agregada y desigualdad entre empresas: una comparación internacional (2002)
Jiménez, Juan Luis, Campos, Javier
Este trabajo analiza el grado de concentración y desigualdad existente entre las 2.350 mayores empresas del mundo, aportando como novedad la utilización de información publicada anualmente por el...
Vega, Gilberto, Campos, Javier
When major investors own shares in several firms in the same industry, the traditional approach to concentration measurement by the Hirschman-Herfindahl Index (HHI) fails to accurately reflect the...
A compositional semantics for UML state machines aimed at performance evaluation (2002)
Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performance...
A compositional semantics for UML state machines aimed at performance evaluation (2002)
Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performance...
Performance Engineering based on UML & SPN's: A software performance tool (2002)
The increasing relevance of UML as a semi-formal modelling paradigm has entailed the need for an adjustment of the classical performance evaluation methods within the scope of the new working...
Performance analysis of Internet based software retrieval systems using Petri Nets (2001)
Jos E Merseguer, Javier Campos, Eduardo Mena, Ingeniera De Sistemas, Ingeniera De Sistemas, Ingeniera De Sistemas
Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the...
A performance engineering case study: Software retrieval system (2001)
Abstract. This chapter presents a case study in performance engineering. The case study consists of a Software Retrieval System based on agents. The system is modelled in a pragmatic way using the...
Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison (2001)
Jose Merseguer, Javier Campos, Eduardo Mena
Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the...
Performance evaluation for the design of agent-based systems: A Petri net approach (2000)
Abstract. Software design and implementation using mobile agents are nowadays involved in a scepticism halo. There are researchers who question its utility because it could be a new technology that...
A pattern-based approach to model software performance (2000)
Jos E Merseguer, Javier Campos, Eduardo Mena, Ingeniera De Sistemas, Ingeniera De Sistemas, Ingeniera De Sistemas
The use of the object-oriented paradigm in the software industry is nowadays a reality. Approximations like frameworks, components, workflows or patterns are gaining place, sometimes to complement...
Active Suspension Control of Ground Vehicle based on a Full-Vehicle Model (2000)
Scott Ikenaga Frank, Frank L. Lewis, Javier Campos, Leo Davis
this paper we propose an active suspension control approach that consists of inner control loops that reject terrain disturbances, outer control loops that stabilize heave, pitch and roll responses,...
A Pattern-Based Approach to Model Software Performance (2000)
Jose Merseguer, Javier Campos, Eduardo Mena
9044 0 157 158 159 7 "!$#&%'%!(*)+, 9 7 9999 9999 ! 0 560 !(*)+, 9 7 99 8:9;# #"<)3%*=6>?,@'%)A .B>CD )A#E* D*.> F&".GHI#&% -46470 6>?,@'%)A...
Properties and Bounds on P/T Nets (1999)
. H. Ammar. On bounds for token probabilities in a class of generalized stochastic Petri nets. In Proceedings of the 3 rd International Workshop on Petri Nets and Performance Models, pages 221--227,...
On state space decomposition for the numerical analysis of stochastic Petri nets (1999)
Net-driven decomposition techniques are considered in this paper in order to reduce the state explosion problem for the computation of performance indices of stochastic Petri nets. Basically, the...
On state space decomposition for the numerical analysis of stochastic Petri nets (1999)
Net-driven decomposition techniques are considered in this paper in order to reduce the state explosion problem for the computation of performance indices of stochastic Petri nets. Basically, the...
A response time approximation technique for stochastic general P/T systems (1998)
Carlos Erez-Jim'enez, Javier Campos
Stochastic Petri nets is a well--known formalism adequate for the design, validation, and performance evaluation of discrete event and manufacturing systems. In this paper, we deal with steady--state...
Structured Solution of Asynchronously Communicating Stochastic Modules (1997)
Javier Campos, Susanna Donatelli, Manuel Silva
Asynchronously Communicating Stochastic Modules (SAM) are Petri nets that can be seen as a set of modules that communicate through buffers, so they are not (yet another) Petri net subclass, but they...
Structural Performance Analysis of Stochastic Petri Nets (1995)
Structure performance analysis theory and techniques is an essay to avoid the computational complexity problem associated to Markovian and discrete event simulation techniques. Even if a finished...
Approximate throughput computation of stochastic marked graphs (1994)
Javier Campos, Jos'e Manuel Colom, Hauke Jungnitz, Manuel Silva
A general iterative technique for approximate throughput computation of stochastic strongly connected marked graphs is presented. It generalizes a previous technique based on net decomposition...
This paper addresses the computation of upper bounds for the steady-state throughput of stochastic Petri net systems with immediate and generally distributed timed transitions. It is achieved through...
Structural Techniques and Performance Bounds of Stochastic Petri Net Models (1992)
In this paper we overview some recent results obtained by the authors and collaborators on the performance bounds analysis of some stochastic Petri net systems. The mathematical model can be seen...
Properties and Performance Bounds for Timed Marked Graphs (1992)
Javier Campos, Giovanni Chiola, José M. Colom, Manuel Silva
A class of synchronized queueing networks with deterministic routing is identified to be equivalent to a subclass of timed Petri nets called marked graphs. First some structural and behavioral...
Throughput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks (1991)
This paper addresses the computation of upper bounds for the steady-state throughput of stochastic Petri nets with immediate and exponentially distributed service times of transitions. We try to...
Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques (1991)
Javier Campos Beatriz, Javier Campos, Manuel Silva
This paper addresses the computation of lower bounds for the steady-state throughput of stochastic Petri nets with immediate and exponentially distributed service times of transitions. We try to...
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector (1991)
Javier Campos, Giovanni Chiola, Manuel Silva
This paper addresses ergodicity and throughput bounds characterizations for a subclass of timed and stochastic Petri nets, interleaving qualitative and quantitative theories. The considered nets...
A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets (1991)
This paper addresses the computation of upper bounds for the throughput of transitions of live and safe deterministically or stochastically timed free choice nets. The obtained results are extensions...
Javier Campos, Giovanni Chiola, Manuel Silva
Several proposals exist for the introduction of synchronization constraints into Queueing Networks (QN). We show that many monoclass QN with synchronizations can naturally be modelled with a subclass...
Performance Evaluation of Repetitive Automated Manufacturing Systems (1990)
Javier Campos Jos'e, Javier Campos, Jos'e M. Colom, Manuel Silva
Steady-state performance evaluation of some repetitive automated manufacturing systems modelled by means of stochastic or deterministic timed Petri nets is considered. Basically, concepts and...
Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes (1990)
Totally open systems of Markovian sequential processes are defined as a subclass of stochastic Petri nets. They can be viewed as a generalization of a subclass of queueing networks in which complex...
Benítez, Jorge A., García, Luis, Silva, Anisia, García, Hilda, Fando, Rafael, Cedré, Barbara, ...
Vibrio cholerae 638 (El Tor, Ogawa), a new CTXΦ-negative hemagglutinin/protease-defective strain that is a cholera vaccine candidate, was examined for safety and immunogenicity in healthy adult...
Valle, Edgar, Ledón, Talena, Cedré, Bárbara, Campos, Javier, Valmaseda, Tania, Rodríguez, Boris, ...
In recent clinical assays, our cholera vaccine candidate strain, Vibrio cholerae 638 El Tor Ogawa, was well tolerated and immunogenic in Cuban volunteers. In this work we describe the construction of...
Rodríguez, Boris L., Rojas, Armando, Campos, Javier, Ledon, Talena, Valle, Edgar, Toledo, William, ...
In this study, we analyzed whether attachment of Vibrio cholerae vaccine strains to human intestinal epithelial cells can induce an interleukin-8 (IL-8) response. The IL-8 transcripts were detected...
Campos, Javier, Martínez, Eriel, Suzarte, Edith, Rodríguez, Boris L., Marrero, Karen, Silva, Yussuan, ...
We describe a novel filamentous phage, designated VGJφ, isolated from strain SG25-1 of Vibrio cholerae O139, which infects all O1 (classical and El Tor) and O139 strains tested. The sequence of the...
Campos, Javier, Martínez, Eriel, Marrero, Karen, Silva, Yussuan, Rodríguez, Boris L., Suzarte, Edith, ...
The main virulence factor of Vibrio cholerae, the cholera toxin, is encoded by the ctxAB operon, which is contained in the genome of the lysogenic filamentous phage CTXφ. This phage transmits ctxAB...
The Vaccine Candidate Vibrio cholerae 638 Is Protective against Cholera in Healthy Volunteers
García, Luis, Jidy, Manuel Díaz, García, Hilda, Rodríguez, Boris L., Fernández, Roberto, Año, Gemma, ...
Vibrio cholerae 638 is a living candidate cholera vaccine strain attenuated by deletion of the CTXΦ prophage from C7258 (O1, El Tor Ogawa) and by insertion of the Clostridium thermocellum...
Benítez, Jorge A., García, Luis, Silva, Anisia, García, Hilda, Fando, Rafael, Cedré, Barbara, ...
Vibrio cholerae 638 (El Tor, Ogawa), a new CTXΦ-negative hemagglutinin/protease-defective strain that is a cholera vaccine candidate, was examined for safety and immunogenicity in healthy adult...
Valle, Edgar, Ledón, Talena, Cedré, Bárbara, Campos, Javier, Valmaseda, Tania, Rodríguez, Boris, ...
In recent clinical assays, our cholera vaccine candidate strain, Vibrio cholerae 638 El Tor Ogawa, was well tolerated and immunogenic in Cuban volunteers. In this work we describe the construction of...
Rodríguez, Boris L., Rojas, Armando, Campos, Javier, Ledon, Talena, Valle, Edgar, Toledo, William, ...
In this study, we analyzed whether attachment of Vibrio cholerae vaccine strains to human intestinal epithelial cells can induce an interleukin-8 (IL-8) response. The IL-8 transcripts were detected...
Campos, Javier, Martínez, Eriel, Suzarte, Edith, Rodríguez, Boris L., Marrero, Karen, Silva, Yussuan, ...
We describe a novel filamentous phage, designated VGJφ, isolated from strain SG25-1 of Vibrio cholerae O139, which infects all O1 (classical and El Tor) and O139 strains tested. The sequence of the...
Campos, Javier, Martínez, Eriel, Marrero, Karen, Silva, Yussuan, Rodríguez, Boris L., Suzarte, Edith, ...
The main virulence factor of Vibrio cholerae, the cholera toxin, is encoded by the ctxAB operon, which is contained in the genome of the lysogenic filamentous phage CTXφ. This phage transmits ctxAB...
The Vaccine Candidate Vibrio cholerae 638 Is Protective against Cholera in Healthy Volunteers
García, Luis, Jidy, Manuel Díaz, García, Hilda, Rodríguez, Boris L., Fernández, Roberto, Año, Gemma, ...
Vibrio cholerae 638 is a living candidate cholera vaccine strain attenuated by deletion of the CTXΦ prophage from C7258 (O1, El Tor Ogawa) and by insertion of the Clostridium thermocellum...
Concentration measurement under cross-ownership. An application to the Spanish electricity sector
When major investors own shares in several firms in the same industry, the traditional approach to concentration measurement by the Hirschman-Herfindahl Index (HHI) fails to accurately reflect the...
Efectos de la descentralización de la política de defensa de la competencia.
Juan Luis Jiménez, Javier Campos
En los últimos años, tanto en la Unión Europea como en España, se ha procedido a descentralizar algunos aspectos relevantes de la política de defensa de la competencia. El objetivo de este...
Regulating privatized rail transport
Traditionally, transport regulation has been viewed as an exercise in second-best optimization, acknowledging the existence of huge information problems. Then the rail industry was deeply...
Macroeconomics effects of private sector participation in Latin America's infrastructure
Trujillo, Lourdes, Martin, Noelia, Estache, Antonio, Campos, Javier
The authors provide empirical evidence on the impact that private participation in infrastructure has had on key macroeconomic variables in a sample of 21 Latin American countries from 1985-98....
Competition issues in network industries: the Latin American railways experience
This paper discusses several competition issues that have emerged in the Latin American rail industry after the recent restructuring experiences started during the 1990s. The analysis focuses on...
Recent Changes in the Spanish Rail Model: the Role of Competition
After a brief historical overview of its main achievements, this paper examines some of the most relevant characteristics of the Spanish rail system and its performance in recent years. It...
Concentration Measurement Under Cross-ownership: The Case of the Spanish Electricity Sector
When major investors own shares in several firms in the same industry, the traditional approach to concentration measurement by the Hirschman--Herfindahl Index (HHI) fails to accurately reflect the...
Los fundamentos económicos de la política de transporte europea: un análisis crítico
This paper revises the underlining principles of the European transport policy and analizes how these principle have been translated into policy in the recent past. The analysis is based in three...
The cost of building and operating a new high speed rail line
Campos , Javier, De Rus, Gines, Barron, Iñaki
What is the total cost of building, maintaining and operating a new high speed rail (HSR) line? Trying to answer this question is the main objective of this paper. To address it we will make an...
A review of HSR experiences around the world
Campos , Javier, De Rus, Gines, Barron, Ignacio
High Speed Railways (HSR) is currently regarded as one of the most significant technological breakthroughs in passenger transportation developed in the second half of the 20th century. At the...
Some stylized facts about high-speed rail: A review of HSR experiences around the world
After collecting information on 166 high-speed rail (HSR) projects across the world, this paper examines some of the most relevant empirical issues related to the implementation of this transport...