Search the dblp DataBase

Publications of Author

1. Nicola Dragoni, Mauro Gaspari, Davide Guidi
   An ACL for Specifying Fault-Tolerant Protocols. [Citation Graph (0, 0)][DBLP]
   AI*IA, 2005, pp:237-248 [Conf]
   
2. Nicola Dragoni, Mauro Gaspari
   Performative Patterns for Designing Verifiable ACLs. [Citation Graph (0, 0)][DBLP]
   CIA, 2006, pp:375-387 [Conf]
   
3. Nicola Dragoni, Mauro Gaspari, Davide Guidi
   Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2005, pp:320-325 [Conf]
   
4. Nicola Dragoni, Mauro Gaspari, Davide Guidi
   A Peer-to-Peer Knowledge Level Open Service Architecture. [Citation Graph (0, 0)][DBLP]
   Wissensmanagement, 2005, pp:195-201 [Conf]
   
5. Nicola Dragoni, Mauro Gaspari
   Crash failure detection in asynchronous agent communication languages. [Citation Graph (0, 0)][DBLP]
   Autonomous Agents and Multi-Agent Systems, 2006, v:13, n:3, pp:355-390 [Journal]
   
6. Nicola Dragoni
   Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2006, v:19, n:4, pp:385-387 [Journal]
   
7. Nicola Dragoni, Mauro Gaspari, Davide Guidi
   An infrastructure to support cooperation of knowledge-level agents on the semantic Grid. [Citation Graph (0, 0)][DBLP]
   Appl. Intell., 2006, v:25, n:2, pp:159-180 [Journal]
   
8. Nicola Dragoni, Mauro Gaspari
   An object based algebra for specifying a fault tolerant software architecture. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:63, n:2, pp:271-297 [Journal]
   
9. Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, I. Siahaan
   Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code. [Citation Graph (0, 0)][DBLP]
   EuroPKI, 2007, pp:297-312 [Conf]
   
10. Nicola Dragoni, Mauro Gaspari, Davide Guidi
    NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web. [Citation Graph (0, 0)][DBLP]
    SWAP, 2005, pp:- [Conf]
    
11. 
    Matching Policies with Security Claims of Mobile Applications. [Citation Graph (, )][DBLP]
    
    
12. 
    A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction. [Citation Graph (, )][DBLP]
    
    
13. 
    Toward Trustworthy Web Services - Approaches, Weaknesses and Trust-By-Contract Framework. [Citation Graph (, )][DBLP]
    
    
14. 
    Where Are All the Agents? On the Gap between Theory and Practice of Agent-Based Referral Networks. [Citation Graph (, )][DBLP]
    
    
15. 
    A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way. [Citation Graph (, )][DBLP]
    
    
16. 
    Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract? [Citation Graph (, )][DBLP]
    
    
17. 
    Security-by-contract for web services. [Citation Graph (, )][DBLP]
    
    
18. 
    Extending Security-by-Contract with Quantitative Trust on Mobile Devices. [Citation Graph (, )][DBLP]
    
    
19. 
    An ACL for Specifying Fault-Tolerant Protocols. [Citation Graph (, )][DBLP]
    
    
20. 
    A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems. [Citation Graph (, )][DBLP]
    
    
21. 
    What the heck is this application doing? - A security-by-contract architecture for pervasive services. [Citation Graph (, )][DBLP]