Search

Your search keyword '"Nicola Rocco"' showing total 145 results

Search Constraints

Start Over You searched for: Author "Nicola Rocco" Remove constraint Author: "Nicola Rocco" Publisher springer international publishing Remove constraint Publisher: springer international publishing
145 results on '"Nicola Rocco"'

Search Results

1. Automated Replication of Tuple Spaces via Static Analysis

2. PALM: A Technique for Process ALgebraic Specification Mining

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

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

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

46. AErlang at Work

Catalog

Books, media, physical & digital resources