Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 7.

2011

Applin, Sally A. and Fischer, Michael D. (2011) Pervasive Computing in Time and Space: The Culture and Context of 'Place' Integration. In: Augusto, Juan Carlos and Aghajan, Hamid K. and Callaghan, Victor and Cook, Diane J. and O'Donoghue, John and Egerton, Simon and Gardner, Michael and Johnson, Brian David and Kovalchuk, Yevgeniya and López-Cózar, Ramón and Mikulecký, Peter and Ng, Jason W. P. and Poppe, Ronald and Wang, Minjuan and Zamudio, Victor, eds. Proceedings of the 2011 7th International Conference on Intelligent Environments (IE). IEEE, pp. 285-293. ISBN 9781457708305. (The full text of this publication is not available from this repository)

2004

Gomez, Rodolfo and Augusto, Juan Carlos (2004) Durative Events in Active Databases. In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, April 2004, Porto, Portugal,. (Full text available)
[img]
Preview

2003

Augusto, Juan Carlos and Gomez, Rodolfo (2003) A Procedure to Translate PARADIGM Specifications to Propositional Linear Temporal Logic and its Application to Verification. International Journal of Software Engineering and Knowledge Engineering, 13 (6). pp. 627-654. ISSN 0218-1940. (The full text of this publication is not available from this repository)

Gomez, Rodolfo and Augusto, Juan Carlos and Acuña, Silvia.T. (2003) An Algorithm to Translate PARADIGM specifications to PLTL. In: Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03). , Valdivia, Chile pp. 53-63. (The full text of this publication is not available from this repository)

2002

Augusto, Juan Carlos and Gomez, Rodolfo (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), 15-19 July 2002, Ischia, Italy. (The full text of this publication is not available from this repository)

2001

Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2001) Testing an Event Specification Language. In: Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01). (The full text of this publication is not available from this repository)

2000

Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2000) Implementation and Testing of a Set of Event Detection Operators. Technical report. (The full text of this publication is not available from this repository)

This list was generated on Fri Jul 25 14:48:43 2014 BST.