Javier Miranda

According to our database, Javier Miranda authored at least 41 papers between 1991 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

From the Internet of Things to the Internet of People.

Javier Miranda, Niko Mäkitalo, José García-Alonso, Javier Berrocal, Tommi Mikkonen, Carlos Canal, Juan Manuel Murillo

IEEE Internet Comput., 2015

Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures.

Javier Berrocal, Carlos Canal, José García-Alonso, Niko Mäkitalo, Tommi Mikkonen, Javier Miranda, Juan Manuel Murillo

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

2014

People as a Service: A Mobile-centric Model for Providing Collective Sociological Profiles.

Joaquín Guillén, Javier Miranda, Javier Berrocal, José García-Alonso, Juan Manuel Murillo, Carlos Canal

IEEE Softw., 2014

Using Partially Synthetic Data to Replace Suppression in the Business Dynamics Statistics: Early Results.

Javier Miranda, Lars Vilhuber

Proceedings of the Privacy in Statistical Databases, 2014

Implementation of Asynchronous Mobile Web Services - Implementation and First Usage.

Marc Jansen, Javier Miranda, Juan Manuel Murillo

Proceedings of the CLOSER 2014, 2014

2013

A service-oriented framework for developing cross cloud migratable software.

Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal

J. Syst. Softw., 2013

Developing migratable multicloud applications based on MDE and adaptation techniques.

Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

Development of Adaptive Multi-cloud Applications - A Model-Driven Approach.

Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Architecting Infrastructures for Cloud-Enabled Mobile Devices.

Javier Miranda, Joaquín Guillén, Javier Berrocal, José García-Alonso, Juan Manuel Murillo, Carlos Canal

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

A UML Profile for Modeling Multicloud Applications.

Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

Assisting Cloud Service Migration Using Software Adaptation Techniques.

Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012

Enough about standardization, let's build cloud applications.

Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of cloud SBAs.

Javier Miranda, Juan Manuel Murillo, Joaquín Guillén, Carlos Canal

Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), 2012

Decoupling Cloud Applications from the Source - A Framework for Developing Cloud Agnostic Software.

Joaquín Guillén, Javier Miranda, Juan Manuel Murillo

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2009

Fitting Multiple Alpha Peaks Using Neural Network Techniques.

Javier Miranda, Antonio Baeza, Javier Guillen, Rosa M. Pérez Utrero

Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009

Study of Alpha Peak Fitting by Techniques Based on Neural Networks.

Javier Miranda, Rosa M. Pérez, Antonio Baeza, Javier Guillen

Proceedings of the Engineering Applications of Neural Networks, 2009

2007

Incorporating Precise Garbage Collection in an Ada Compiler.

Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez

Proceedings of the Reliable Software Technologies, 2007

2006

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.

Javier Miranda, Edmond Schonberg

Proceedings of the Reliable Software Technologies, 2006

2005

The implementation of ada 2005 synchronized interfaces in the GNAT compiler.

Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks.

Mario Aldea Rivas, Javier Miranda, Michael González Harbour

Proceedings of the Reliable Software Technology, 2005

The Implementation of Ada 2005 Interface Types in the GNAT Compiler.

Javier Miranda, Edmond Schonberg, Gary Dismukes

Proceedings of the Reliable Software Technology, 2005

2004

GNAT: on the road to Ada 2005.

Javier Miranda, Edmond Schonberg

Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, 2004

Remote Management of Distributed Applications.

Ernestina Martel, Javier Miranda, Francisco Guerra Santana, Luis Hernández

Proceedings of the 12th Euromicro Workshop on Parallel, 2004

Implementing an Application-Defined Scheduling Framework for Ada Tasking.

Mario Aldea Rivas, Javier Miranda, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2004

Dynamic Ceiling Priorities: A Proposal for Ada0Y.

Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo

Proceedings of the Reliable Software Technologies, 2004

2003

Dynamic ceiling priorities in GNAT implementation report.

Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

A Graphical Environment for GLADE.

Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández

Proceedings of the Reliable Software Technologies, 2003

A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.

Javier Miranda, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2003

2002

A Technique to Build Ada Preprocessors.

Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González

Proceedings of the 10th Euromicro Workshop on Parallel, 2002

Programming Distributed Systems with Group_IO.

Francisco Guerra Santana, Javier Miranda, J. M. Santos, Ernestina Martel, Luis Hernández, E. Pulido

Proceedings of the 10th Euromicro Workshop on Parallel, 2002

EPDA-modeller: a tool for modelling a distributed programming environment.

Ernestina Martel, Francisco Guerra Santana, Javier Miranda

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

A Tailorable Distributed Programming Environment.

Ernestina Martel, Francisco Guerra Santana, Javier Miranda

Proceedings of the Reliable Software Technologies, 2002

How to Use GNAT to Efficiently Preprocess New Ada Sentences.

Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González

Proceedings of the Reliable Software Technologies, 2002

2001

Programming Cooperative Systems in Drago.

Javier Miranda, Francisco Guerra Santana, Angel Alvarez, Sergio Arévalo

Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

Building Robust Applications by Reusing Non-robust Legacy Software.

Francisco Guerra Santana, Javier Miranda, José Miguel Santos Espino, José Carlos Rodríguez Calero

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

1999

How to Modify the GNAT Frontend tp Experiment with Ada Extensions.

Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González

Proceedings of the Reliable Software Technologies, 1999

1997

An Ada Library to Program Fault-Tolerant Distributed Applications.

Francisco Guerra Santana, Javier Miranda, Angel Alvarez, Sergio Arévalo

Proceedings of the Reliable Software Technologies, 1997

1996

Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications.

Javier Miranda, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana

Proceedings of the Reliable Software Technologies, 1996

1993

A quick distributed consensus protocol.

Francisco Guerra Santana, Sergio Arévalo, Angel Alvarez, Javier Miranda

Microprocess. Microprogramming, 1993

A Distributed Consensus Protocol with a Coordinator.

Francisco Guerra Santana, Sergio Arévalo, Angel Alvarez, Javier Miranda

Proceedings of the Decentralized and Distributed Systems, 1993

1991

A modula-2-like systems programming language and its implementation.

Javier Miranda, José Fortes Gálvez

Microprocessing and Microprogramming, 1991