A5066761763- Logic, programming, and type systems
- Service-Oriented Architecture and Web Services
- Distributed systems and fault tolerance
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Business Process Modeling and Analysis
- Security and Verification in Computing
- Mobile Agent-Based Network Management
- Access Control and Trust
- Logic, Reasoning, and Knowledge
- Software System Performance and Reliability
- Peer-to-Peer Network Technologies
- Advanced Authentication Protocols Security
- Petri Nets in System Modeling
- Parallel Computing and Optimization Techniques
- Distributed and Parallel Computing Systems
- Cryptography and Data Security
- User Authentication and Security Systems
- Advanced Database Systems and Queries
- Model-Driven Software Engineering Techniques
- Experimental Learning in Engineering
- Modular Robots and Swarm Intelligence
- Digital Rights Management and Security
- Teaching and Learning Programming
- Multi-Agent Systems and Negotiation
University of Florence
2014-2024
University of Bologna
2015
IMT School for Advanced Studies Lucca
2014
University of Pisa
2000
Sapienza University of Rome
1995-1996
Cornell University
1994
Fondation Sophia Antipolis
1994
University of Edinburgh
1994
We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, that supports paradigm where processes, like data, can be moved from one environment to another. The consists core Linda with multiple tuple spaces set operators building processes. KLAIM naturally explicit localities. Localities are first-class data (they manipulated any other data), but provides coordination mechanisms control interaction protocols among located formal operational...
The autonomic computing paradigm has been proposed to cope with size, complexity, and dynamism of contemporary software-intensive systems. challenge for language designers is devise appropriate abstractions linguistic primitives deal the large dimension systems their need adapt changes working environment evolving requirements. We propose a set programming that permit us represent behaviors, knowledge, aggregations according specific policies support context-awareness, self-awareness,...
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantification over all possible contexts. Here, we focus on two such equivalences, namely may-testing and barbed equivalence, investigate tractable proof methods them. To this aim, design an enriched labelled transition system, where transitions are constrained by knowledge environment has names keys. The new system is then...
Abstract Highly distributed networks have now become a common infrastructure for wide‐area applications whose key design principle is network awareness, namely the ability to deal with dynamic changes of environment. Network‐aware computing has called new programming languages that exploit mobility paradigm as basic interaction mechanism. In this paper we present architecture K LAVA , an experimental Java package and code mobility. We describe how permits by relying on few mobile programmed...
Contextual equivalences for cryptographic process calculi can be used to reason about correctness of protocols, but their definition suffers from quantification over all possible contexts. Here, we focus on two such equivalences, may-testing and barbed equivalence, investigate tractable proof methods them. To this aim, develop an 'environment-sensitive' labelled transition system, where transitions are constrained by the knowledge environment has names keys. On top new a trace equivalence...
The study presented in this article aims to explore if and how intercultural learning may take place students' class interaction. It is grounded the assumption that interculturality not a clear-cut feature inherent interactions occurring when individuals with presumed different linguistic cultural/national backgrounds talk each other, but co-constructed during In other words, every 'interdiscourse interaction' potentially intercultural. We have assumed perspective while investigating...
We introduce a logical verification methodology for checking behavioral properties of service-oriented computing systems. Service are described by means SocL, branching-time temporal logic that we have specifically designed expressing in an effective way distinctive aspects services, such as, acceptance request, provision response, correlation among service requests and responses, etc. Our approach allows to be expressed they can independent domains specifications. show instantiation our...
Autonomic computing - that is, the development of software and hardware systems featuring a certain degree self-awareness self-adaptability is field with many application areas technical difficulties. In this paper, we explore idea an autonomic cloud in form platform-as-a-service infrastructure which, contrary to usual practice, does not consist well-maintained set reliable high-performance computers, but instead formed by loose collection voluntarily provided heterogeneous nodes which are...
Growing attention has recently been devoted to context-aware computing and communication systems, in particular concerning their evolution toward the new paradigm of autonomic communications. Indeed, context awareness autonomicity appear be indispensable glue technologies accomplish efficient integration modern software-intensive cyber-physical operating open non-deterministic environments, master complexity. This article provides an update on latest developments this field. Proposed...
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about programming languages paradigms. X-KLAIM an experimental language, inspired by the Linda paradigm, where mobile their interaction strategies be naturally programmed. A prototype implementation of presented, together with few examples introducing style.
Component ensembles are a promising way of building self-aware autonomic adaptive systems. This approach has been promoted by the EU project ASCENS, which develops core idea providing rigorous semantics as well models and methods for whole development life cycle an ensemble-based system. These specifically address adaptation, self-awareness, self-optimization, continuous system evolution. In this paper, we demonstrate key concepts benefits ASCENS in context intelligent navigation electric...
Access control systems are widely used means for the protection of computing systems. They defined in terms access policies regulating to system resources. In this paper, we introduce a formally-defined, fully-implemented framework specification, analysis and enforcement attribute-based policies. The rests on FACPL, language with compact, yet expressive, syntax specification real-world rigorously denotational semantics. enables automated verification properties regarding both authorisations...