CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Publications Login  
banner bottom
[ Publications - book chapters ]
Publications Icon  List of publications produced by CITI members as part of their research activities including work done in collaboration with external researchers. Select one of the publication types from the list below. The list MAY NOT BE complete, refer to activity reports for official information.

[ List All Publications ]
[ Articles ][ Book Chapters ][ Editorial Activities ][ Technical Reports ]
[ Books ][ Dissertations ][ In Proceedings ][ Other Publications ]

page 4 of 9 - listing book chapters 31 to 40 of a total of 83

prev   |   1  2  3  4  5  6  7  8  9   |   next

bulletGossip-Based Broadcast
   @ Handbook of Peer-to-Peer Networking - January, 2010
   João Leitão, José Orlando Pereira, Luis Rodrigues

bulletClassification of Similar Impact Sounds
   @ Image and Signal Processing - 2010
   Sofia Cavaco, José Santos Rodeia

bulletToward automatic performance tuning for numerical simulations in the SILC matrix computation framework
   @ Software Automatic Tuning: From Concepts to the State-of-the-Art Results - 2010
   Tamito Kajiyama, Akira Nukada, Reiji Suda, Hidehiko Hasegawa, Akira Nishida

bulletMulti-View Composition Language for Software Product Line Requirements
   @ Software Language Engineering - 2010
   Mauricio Alférez, João Santos, Ana Moreira, Alessandro Garcia, Uira Kulesza, João Araújo, Vasco Amaral

bulletCore Calculi for Service Oriented Computing
   @ Rigorous Software Engineering for Service-Oriented Systems - 2010
   Luis Caires, Rocco de Nicola, Gianluigi Zavattaro, Rosario Pugliese, Vasco T. Vasconcelos

bulletSession-Based Compilation Framework for Multicore Programming
   @ Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures - September, 2009
   Nobuko Yoshida, Vasco T. Vasconcelos, Hervé Paulino, Kohei Honda

bulletA Distributed Systems Approach to Air- borne Self-Separation
   @ Computational Models, Software Engineering and Advanced Technologies in Air Transportation - 2009
   Henrique Moniz

bulletA language and a methodology for prototyping user interfaces for control systems
   @ Human Machine Interaction - 2009
   Vasco Amaral, Bruno Barroca, Matteo Risoldi, Didier Buchs, Gilles Falquet

bulletAn Abstract Machine for Service-oriented Mobility
   @ Process Algebra for Parallel and Distributed Processing - December, 2008
   Hervé Paulino

bulletUbiquitous Gaming Interaction: Engaging Play Anywhere
   @ The Art and Science of Interface and Interaction Design - September, 2008
   Tiago Martins, Nuno Correia, Christa Sommerer, Laurent Mignonneau

prev   |   1  2  3  4  5  6  7  8  9   |   next