Search

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

Search Constraints

Start Over You searched for: Author "Nicola Rocco" Remove constraint Author: "Nicola Rocco" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
335 results on '"Nicola Rocco"'

Search Results

3. Detection of Energy Consumption Cyber Attacks on Smart Devices

4. Mitigating and Analysis of Memory Usage Attack in IoE System

5. Energy Cyber Attacks to Smart Healthcare Devices: A Testbed

8. Modelling Flocks of Birds from the Bottom Up

9. Process Algebras and Flocks of Birds

10. Automated Replication of Tuple Spaces via Static Analysis

11. PALM: A Technique for Process ALgebraic Specification Mining

13. Verifying AbC Specifications via Emulation

14. Transparency in Keyword Faceted Search: An Investigation on Google Shopping

15. Do You Really Follow Them? Automatic Detection of Credulous Twitter Users

16. A Logic-Inspired Approach to Reconfigurable System Modelling

17. A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems

18. ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication

19. A Distributed Coordination Infrastructure for Attribute-Based Interaction

20. A Formal Approach to the Engineering of Domain-Specific Distributed Systems

21. Multi-agent Systems with Virtual Stigmergy

22. The Meaning of Adaptation: Mastering the Unforeseen?

23. Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition

24. DReAM: Dynamic Reconfigurable Architecture Modeling

25. : Attribute-Based Interaction in Google Go

26. Verifying Properties of Systems Relying on Attribute-Based Communication

27. AErlang: Empowering Erlang with Attribute-Based Communication

28. AErlang at Work

29. A Homage to Martin Wirsing

30. Dynamic SLAs for Clouds

31. On the Power of Attribute-Based Communication

32. Tuple Spaces Implementations and Their Efficiency

33. Multiparty Testing Preorders

34. Replicating Data for Better Performances in X10

35. Programming of CAS Systems by Relying on Attribute-Based Communication

36. On Integrating Social and Sensor Networks for Emergency Management

37. Global Protocol Implementations via Attribute-Based Communication

38. Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter

39. Replica-Based High-Performance Tuple Space Computing

40. The SCEL Language: Design, Implementation, Verification

41. A Formal Approach to Autonomic Systems Programming: The SCEL Language : (Long Abstract)

42. Trust-Based Enforcement of Security Policies

43. Self-expression and Dynamic Attribute-Based Ensembles in SCEL

44. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

45. Programming and Verifying Component Ensembles

46. Reasoning (on) Service Component Ensembles in Rewriting Logic

47. Formalising Adaptation Patterns for Autonomic Ensembles

49. Ugo Montanari in a Nutshell

Catalog

Books, media, physical & digital resources