Publicacións nas que colabora con FRANCISCO JAVIER GONZALEZ CASTAÑO (15)

2009

  1. Automating content update for MHP applications: A practical experience

    2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009

2005

  1. Wireless protocol testing and validation supported by formal methods. A hands-on report

    Journal of Systems and Software, Vol. 75, Núm. 1-2, pp. 139-154

2002

  1. A new transcoding technique for PDA browsers, based on content hierarchy

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Cellular network for real-time mobile auction

    Wireless Personal Communications, Vol. 22, Núm. 1, pp. 23-40

  3. Heuristic-driven test case selection from formal specifications. A case study

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. On the application of formal description techniques to the design of interception systems for GSM mobile terminals

    Journal of Systems and Software, Vol. 60, Núm. 1, pp. 51-58

  5. Pushing web pages into personal digital assistants: Need, tools and solutions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2411, pp. 276-280

  6. Real-time interception systems for the GSM protocol

    IEEE Transactions on Vehicular Technology, Vol. 51, Núm. 5, pp. 904-914

2001

  1. A new m-commerce concept: M-mall

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2232, pp. 14-25

  2. Internet access to real equipment at computer architecture laboratories using the Java/CORBA paradigm

    Computers and Education, Vol. 36, Núm. 2, pp. 151-170

  3. Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks

    Software - Practice and Experience, Vol. 31, Núm. 1, pp. 1-16

2000

  1. An undergraduate low-level computer communications laboratory oriented towards industry

    International Journal of Electrical Engineering Education, Vol. 37, Núm. 2, pp. 155-156

1998

  1. Jamming system for mobile communications

    Electronics Letters, Vol. 34, Núm. 22, pp. 2166-2167

1994

  1. Estrategias Hash para gestión de árboles

    IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994

  2. Un sistema de análisis y diseño de arquitecturas multiprocesador para propósitos educativos

    IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994