335 results on '"Nicola Rocco"'
Search Results
2. CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN
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
6. Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
7. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
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
12. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
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
48. Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
49. Ugo Montanari in a Nutshell
50. Network-Aware Evaluation Environment for Reputation Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.