journal : Science of Computer Programming

20 articles
page_white_acrobat Towards attack-resistant Aggregate Computing using trust mechanisms (article in journal, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
page_white_acrobat Optimal single-path information propagation in gradient-based algorithms (article in journal, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
page_white_acrobat A type-sound calculus of computational fields (article in journal, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
page_white_acrobat A coordination model of pervasive service ecosystems (article in journal, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
page_white_acrobat On competitive self-composition in pervasive services (article in journal, 2013) — Mirko Viroli
page_white_acrobat Operational Semantics of Proto (article in journal, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
page_white_acrobat Multi-agent Oriented Programming with JaCaMo (article in journal, 2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
page_white_acrobat Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobat Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
page_white_acrobat simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
page_white_acrobat Preface (article in journal, 2011) — Carlos Canal, Mirko Viroli
page_white_acrobat On the Collective Sort Problem for Distributed Tuple Spaces (article in journal, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
page_white_acrobat On the reification of Java wildcards (article in journal, 2008) — Maurizio Cimadamore, Mirko Viroli
page_white_acrobat Preface (article in journal, 2007) — Carlos Canal, Mirko Viroli
page_white_acrobat Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
page_white_acrobat Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
page_white_acrobat From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti
page_white_acrobat The GAMMA Model and its Discipline of Programming (article in journal, 1990) — Jean-Pierre Banâtre, Daniel Le Métayer

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY