Programming languages
People
keywords:
pervasive computing, intelligenza artificiale, distributed systems, multi-agent learning, programming paradigms
keywords:
Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification
keywords:
Microservices, Distributed Systems, Dynamic Adaptability, Programming Languages
keywords:
artificial intelligence, programming paradigms, collective systems, distributed systems, pervasive computing, Internet
Read more
keywords:
artificial intelligence, cloud computing, intelligent agents, high performance computing, virtualization
keywords:
Lambda calculus, Quantum programming languages, Operational semantics, Resource verification
keywords:
deep learning, computer visione, agritech, biometric systems and legal issues
keywords:
Differential Program Semantics, Quantum Computation, Cryptography, Automated Complexity Analysis
keywords:
Multi-agent systems, Programming languages, Agent-oriented software engineering, Software Infrastructures, Internet of
Read more
keywords:
Programming languages, Constraint programming, Artificial Intelligence
keywords:
Programming Languages, Process Algebras, Session Types, Choreographic Programming, Microservices, Dynamic Adaptability,
Read more
keywords:
Models for the description of concurrent systems, Process algebras and Petri nets, Information-flow security,
Read more
keywords:
Operational semantics, Reversible languages, Formal Methods, Reversible Computing
keywords:
Quantum computing, Reversible languages, Multiparty sessions, Service-oriented computing
keywords:
programming languages, static analysis of programs, programming languages semantics, prototype implementations of
Read more
keywords:
Programming languages, History and philosophy of computing, Computer science education, Linear logic
keywords:
simulation, intelligent agents, multiparadigm languages, self-organising systems, pervasive computing, multiagent
Read more
keywords:
simulation, aggregate programming, Internet of Things, self-organization, complex systems, biomimicry
keywords:
Type theory, Interactive theorem proving, Mathematical knowledge management, Lambda-calculus, Programming languages,
Read more
keywords:
Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network, Software Defined
Read more
keywords:
Empirical software engineering, agile methods, open source, software metrics, application of artificial intelligence to
Read more
keywords:
Object-oriented languages, Multiagent systems, Simulation and verification, Coordination, Software engineering,
Read more
keywords:
Machine learning, Microservices, Artificial intelligence, Early school leaving