Header image  
Special Track of the
28th ACM Symposium on Applied Computing (SAC'13)
March 18 - 22, 2013
Institute of Engineering of the Polytechnic Institute of Coimbra (ISEC-IPC) - Coimbra, Portugal




Track Program

Thursday March 21, 2013
Time slot: 11:10 - 12:50, Room 5

  • Reliable Supervisory Coordination of Stochastic Communicating Processes with Data
    Jasen Markovski
  • Internet of Things: A Process Calculus Approach
    Ivan Lanese, Luca Bedogni and Marco Di Felice
  • Specifying and Analysing Reputation Systems with a Coordination Language
    Alessandro Celestini, Rocco De Nicola and Francesco Tiezzi
  • A Peer to Peer Agent Coordination Framework for IHE based Cross-Community Health Record Exchange
    Visara Urovi, Alex Carmine Olivieri, Stefano Bromuri, Nicoletta Fornara and Michael Schumacher
  • Combining Self-Organisation, Context-Awareness and Semantic Reasoning: the Case of Resource Discovery in Opportunistic Networks
    Graeme Stevenson, Danilo Pianini, Sara Montagna, Mirko Viroli, Juan Ye and Simon Dobson