Javier Miranda

Publication Activity (10 Years)

Years Active: 1991-2015
Publications (10 Years): 0

Top Topics

Real Image Data

Business Partners

Top Venues

IEEE Internet Comput.

J. Syst. Softw.

Publications

Javier Berrocal, Carlos Canal, José García-Alonso, Niko Mäkitalo, Tommi Mikkonen, Javier Miranda, Juan Manuel Murillo
Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures. MOBILESoft (2015)
Javier Miranda, Niko Mäkitalo, José García-Alonso, Javier Berrocal, Tommi Mikkonen, Carlos Canal, Juan Manuel Murillo
From the Internet of Things to the Internet of People. IEEE Internet Comput. 19 (2) (2015)
Javier Miranda, Lars Vilhuber
Using Partially Synthetic Data to Replace Suppression in the Business Dynamics Statistics: Early Results. Privacy in Statistical Databases (2014)
Marc Jansen, Javier Miranda, Juan Manuel Murillo
Implementation of Asynchronous Mobile Web Services - Implementation and First Usage. CLOSER (2014)
Joaquín Guillén, Javier Miranda, Javier Berrocal, José García-Alonso, Juan Manuel Murillo, Carlos Canal
People as a Service: A Mobile-centric Model for Providing Collective Sociological Profiles. IEEE Softw. 31 (2) (2014)
Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal
Development of Adaptive Multi-cloud Applications - A Model-Driven Approach. MODELSWARD (2013)
Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal
A service-oriented framework for developing cross cloud migratable software. J. Syst. Softw. 86 (9) (2013)
Javier Miranda, Joaquín Guillén, Javier Berrocal, José García-Alonso, Juan Manuel Murillo, Carlos Canal
Architecting Infrastructures for Cloud-Enabled Mobile Devices. ESOCC Workshops (2013)
Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal
Developing migratable multicloud applications based on MDE and adaptation techniques. NordiCloud (2013)
Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal
A UML Profile for Modeling Multicloud Applications. ESOCC (2013)
Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal
Assisting Cloud Service Migration Using Software Adaptation Techniques. IEEE CLOUD (2013)
Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal
Enough about standardization, let's build cloud applications. WICSA/ECSA Companion Volume (2012)
Joaquín Guillén, Javier Miranda, Juan Manuel Murillo
Decoupling Cloud Applications from the Source - A Framework for Developing Cloud Agnostic Software. CLOSER (2012)
Javier Miranda, Juan Manuel Murillo, Joaquín Guillén, Carlos Canal
Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of cloud SBAs. WAS4FI-Mashups (2012)
Javier Miranda, Antonio Baeza, Javier Guillen, Rosa M. Pérez Utrero
Fitting Multiple Alpha Peaks Using Neural Network Techniques. ISDA (2009)
Javier Miranda, Rosa M. Pérez, Antonio Baeza, Javier Guillen
Study of Alpha Peak Fitting by Techniques Based on Neural Networks. EANN (2009)
Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez
Incorporating Precise Garbage Collection in an Ada Compiler. Ada-Europe (2007)
Javier Miranda, Edmond Schonberg
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. Ada-Europe (2006)
Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev
The implementation of ada 2005 synchronized interfaces in the GNAT compiler. SIGAda (2005)
Mario Aldea Rivas, Javier Miranda, Michael González Harbour
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. Ada-Europe (2005)
Javier Miranda, Edmond Schonberg, Gary Dismukes
The Implementation of Ada 2005 Interface Types in the GNAT Compiler. Ada-Europe (2005)
Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo
Dynamic Ceiling Priorities: A Proposal for Ada0Y. Ada-Europe (2004)
Mario Aldea Rivas, Javier Miranda, Michael González Harbour
Implementing an Application-Defined Scheduling Framework for Ada Tasking. Ada-Europe (2004)
Javier Miranda, Edmond Schonberg
GNAT: on the road to Ada 2005. SIGAda (2004)
Ernestina Martel, Javier Miranda, Francisco Guerra Santana, Luis Hernández
Remote Management of Distributed Applications. PDP (2004)
Javier Miranda, Michael González Harbour
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. Ada-Europe (2003)
Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández
A Graphical Environment for GLADE. Ada-Europe (2003)
Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo
Dynamic ceiling priorities in GNAT implementation report. IRTAW (2003)
Francisco Guerra Santana, Javier Miranda, J. M. Santos, Ernestina Martel, Luis Hernández, E. Pulido
Programming Distributed Systems with Group_IO. PDP (2002)
Ernestina Martel, Francisco Guerra Santana, Javier Miranda
EPDA-modeller: a tool for modelling a distributed programming environment. ISCC (2002)
Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González
A Technique to Build Ada Preprocessors. PDP (2002)
Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González
How to Use GNAT to Efficiently Preprocess New Ada Sentences. Ada-Europe (2002)
Ernestina Martel, Francisco Guerra Santana, Javier Miranda
A Tailorable Distributed Programming Environment. Ada-Europe (2002)
Francisco Guerra Santana, Javier Miranda, José Miguel Santos Espino, José Carlos Rodríguez Calero
Building Robust Applications by Reusing Non-robust Legacy Software. Ada-Europe (2001)
Javier Miranda, Francisco Guerra Santana, Angel Alvarez, Sergio Arévalo
Programming Cooperative Systems in Drago. PDP (2001)
Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González
How to Modify the GNAT Frontend tp Experiment with Ada Extensions. Ada-Europe (1999)
Francisco Guerra Santana, Javier Miranda, Angel Alvarez, Sergio Arévalo
An Ada Library to Program Fault-Tolerant Distributed Applications. Ada-Europe (1997)
Javier Miranda, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. Ada-Europe (1996)
Francisco Guerra Santana, Sergio Arévalo, Angel Alvarez, Javier Miranda
A Distributed Consensus Protocol with a Coordinator. Decentralized and Distributed Systems (1993)
Francisco Guerra Santana, Sergio Arévalo, Angel Alvarez, Javier Miranda
A quick distributed consensus protocol. Microprocess. Microprogramming 39 (2-5) (1993)
Javier Miranda, José Fortes Gálvez
A modula-2-like systems programming language and its implementation. Microprocessing and Microprogramming 32 (1-5) (1991)