145 results on '"Nicola Rocco"'
Search Results
2. PALM: A Technique for Process ALgebraic Specification Mining
3. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
4. Verifying AbC Specifications via Emulation
5. Transparency in Keyword Faceted Search: An Investigation on Google Shopping
6. Do You Really Follow Them? Automatic Detection of Credulous Twitter Users
7. A Logic-Inspired Approach to Reconfigurable System Modelling
8. A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
9. ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication
10. A Distributed Coordination Infrastructure for Attribute-Based Interaction
11. A Formal Approach to the Engineering of Domain-Specific Distributed Systems
12. Multi-agent Systems with Virtual Stigmergy
13. The Meaning of Adaptation: Mastering the Unforeseen?
14. Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
15. DReAM: Dynamic Reconfigurable Architecture Modeling
16. : Attribute-Based Interaction in Google Go
17. Automated Replication of Tuple Spaces via Static Analysis
18. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
19. Verifying AbC Specifications via Emulation
20. Verifying Properties of Systems Relying on Attribute-Based Communication
21. AErlang: Empowering Erlang with Attribute-Based Communication
22. AErlang at Work
23. A Homage to Martin Wirsing
24. Dynamic SLAs for Clouds
25. On the Power of Attribute-Based Communication
26. Tuple Spaces Implementations and Their Efficiency
27. Multiparty Testing Preorders
28. Replicating Data for Better Performances in X10
29. Programming of CAS Systems by Relying on Attribute-Based Communication
30. A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
31. A Logic-Inspired Approach to Reconfigurable System Modelling
32. Do You Really Follow Them? Automatic Detection of Credulous Twitter Users
33. Global Protocol Implementations via Attribute-Based Communication
34. Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter
35. Replica-Based High-Performance Tuple Space Computing
36. The SCEL Language: Design, Implementation, Verification
37. A Formal Approach to Autonomic Systems Programming: The SCEL Language : (Long Abstract)
38. Formalising Adaptation Patterns for Autonomic Ensembles
39. Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
40. Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
41. $$\mathcal {G}o\mathcal {A}t$$: Attribute-Based Interaction in Google Go
42. The Meaning of Adaptation: Mastering the Unforeseen?
43. DReAM: Dynamic Reconfigurable Architecture Modeling
44. A Distributed Coordination Infrastructure for Attribute-Based Interaction
45. Multi-agent Systems with Virtual Stigmergy
46. AErlang at Work
47. Verifying Properties of Systems Relying on Attribute-Based Communication
48. Programming of CAS Systems by Relying on Attribute-Based Communication
49. Multiparty Testing Preorders
50. On the Power of Attribute-Based Communication
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.