Javier
Vales Alonso
Publicacións nas que colabora con Javier Vales Alonso (5)
2002
-
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
-
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
-
Real-time interception systems for the GSM protocol
IEEE Transactions on Vehicular Technology, Vol. 51, Núm. 5, pp. 904-914
2001
-
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
-
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