Tags


Tags

Publications  /  Mirko Viroli

  3APL1  A&A30  A&A ReSpecT1  access control2  activity theory3  adaptive systems4  adaptive tuple clustering2  agens faber1  agent cognition1  agent communication1  agent communication languages4  agent coordination contexts16  agent model1  agent-oriented computing5  agent-oriented programming1  agent-oriented software engineering4  aggregate computing2  Alchemist11  AOSE methodologies1  argumentation4  artefacts20  artificial intelligence1  augmented reality2  behavioural implicit communication3  bio-inspired computing1  biochemical coordination2  biology1  BPEL1  CArtAgO10  chemical coordination5  chemical tuple spaces2  cloud services1  co-argumentation artefacts1  cognitive agents1  cognitive stigmergy3  collective services1  collective sorting7  component-based systems2  computational fields3  coordination20  coordination artefacts3  coordination as a service3  coordination expressiveness2  coordination languages1  coordination middleware3  coordination models2  copy-collect1  cyber-physical systems1  data aggregation1  description logics2  design patterns1  developmental biology1  dialogue4  distributed data processing1  distributed systems1  Drosophila Melanogaster3  e-health1  eco-laws5  ecosystems1  edge intelligence1  environment-based coordination8  eternal systems3  event notification1  event-driven coordination1  field calculus2  FIPA ACL2  FIPA agents1  follow-me1  formal models9  fuzzy description logic1  GALILEO2  Gamma1  generics3  grey-box semantics1  IEEE-FIPA documentation template1  implicit communication1  interaction1  interaction patterns1  interaction semantics1  Internet of Things2  intrusion detection2  JADE2  Java5  JavaSpaces3  knowledge-intensive environment1  large-scale distributed systems1  large-scale simulation1  Lime2  Linda5  linear logic1  linking primitives1  live semantic annotations2  logic programming1  LogOp3  Manifold2  MAS coordination4  MAS engineering6  MAS environment12  MAS middleware11  MAS organisation8  MAS security4  Maude3  meta-heuristics1  meta-model1  method engineering1  minority game3  mirror worlds1  mobile systems1  model checking1  models2  morphogenesis1  MS-BioNET2  multi-agent based simulation1  multi-agent systems27  multi-disciplinary research1  multicellular systems biology1  multiple coordination flows1  nature-inspired computing3  negotiation1  objective vs. subjective coordination2  observation7  observation-based coordination3  online engineering1  operating instructions4  operational semantics1  opportunistic IoT services1  OWL1  P@J2  parametric weighted multi-path1  Pellet1  pervasive computing3  pervasive ecosystems4  pervasive service ecosystems3  pervasive systems2  Petri nets1  physics1  plain diffusion1  PRISM3  probabilistic model checking4  process algebras6  Prolog2  Protelis1  Proto1  pulverizable architectures1  RBAC4  RBAC-MAS6  reification1  Reo2  ReSpecT11  ReSpecT nets1  rewriting logic1  roles3  SANA1  SANAP1  SAPERE6  SAPERE-core4  SAPERE-in6  SAPERE-pre6  SAPERE-rel1  SAPERE-WP21  ScaFi1  self-*1  self-adaptation1  self-organising coordination1  self-organising systems24  semantic chemistry1  semantic coordination6  semantic tuple centres4  semantic web2  SemHealthCoord4  service middleware1  service-oriented architecture1  SHOIN(D)1  simpA4  simpA-WS1  simulation11  social sciences1  SODA3  spatial computing4  spatial coordination1  Spatial Tuples2  stochastic Prolog1  stochastic simulation2  stochastic simulation algorithm4  stochastic π-calculus3  T Spaces2  timed coordination2  Timed ReSpecT2  tools1  TuCSoN40  tuple centres6  tuple-based coordination7  tuProlog2  ubiquitous systems1  UNIBO1  verification2  web services1  wildcards1  WordNet1  π-calculus1 

[  659  /  200  tags  ]

Tags:
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY