Tag

pubblicazioni / Mirko Viroli
3APL1A&A30A&A ReSpecT1access control2activity theory3adaptive systems4adaptive tuple clustering2agens faber1agent architecture1agent cognition1agent communication1agent communication languages4agent coordination contexts16agent model1agent-oriented computing5agent-oriented methodologies1agent-oriented programming1agent-oriented software engineering5AgentLink III2aggregate computing5aggregate planning1Alchemist11argumentation4artefacts20artificial intelligence1augmented reality2automatic service composition1behavioural implicit communication3bio-inspired computing1biochemical coordination2biology1BPEL1CArtAgO10chemical coordination5chemical tuple spaces3CINA7cloud services1co-argumentation artefacts1code mobility1cognitive agents1cognitive stigmergy3collective services1collective sorting8component-based systems2computational fields6coordination21coordination artefacts3coordination as a service3coordination expressiveness2coordination languages1coordination middleware3coordination models2copy-collect1cyber-physical systems1data aggregation1description logics2design patterns2developmental biology1dialogue4distributed data processing1distributed systems1domain specific languages1Drosophila Melanogaster3e-health1eco-laws5ecosystems1edge intelligence1environment-based coordination8eternal systems3event notification1event-driven coordination1field calculus4FIPA ACL2FIPA agents1follow-me1formal models9fuzzy description logic1GALILEO2Gamma1generics3grey-box semantics1IEEE-FIPA documentation template1implicit communication1interaction1interaction patterns1interaction semantics1Internet of Things3intrusion detection2JADE2Java5JavaSpaces3knowledge-intensive environment1large-scale distributed systems1large-scale simulation1Lime2Linda5linear logic1linking primitives1live semantic annotations2logic programming1LogOp3Manifold2MAS coordination4MAS engineering6MAS environment12MAS middleware11MAS organisation8MAS security4Maude4meta-heuristics1meta-model1method engineering1minority game3mirror worlds1mobile systems1model checking1models2morphogenesis1MS-BioNET2multi-agent based simulation1multi-agent systems30multi-disciplinary research1multicellular systems biology1multiple coordination flows1nature-inspired computing3negotiation1NokiaMobileCoord7objective vs. subjective coordination2observable sources1observation9observation-based coordination5online engineering1operating instructions4operational semantics2opportunistic IoT services1OWL1P@J2parametric weighted multi-path1Pellet1pervasive computing3pervasive ecosystems4pervasive service ecosystems3pervasive systems2Petri nets2physics1plain diffusion1planning1PRISM3probabilistic model checking4process algebras6Prolog2Protelis1Proto1pulverizable architectures1RBAC4RBAC-MAS6reification1Reo2ReSpecT11ReSpecT nets2rewriting logic1roles3SANA1SANAP1SAPERE6SAPERE-core4SAPERE-in6SAPERE-pre6SAPERE-rel1SAPERE-WP21ScaFi1self-*1self-adaptation1self-organisation2self-organising coordination2self-organising MAS1self-organising systems25self-stabilisation2semantic chemistry1semantic coordination6semantic tuple centres4semantic web2SemHealthCoord3service middleware1service-oriented architecture1SHOIN(D)1simpA4simpA-WS1simulation11social sciences1SODA3spatial computing7spatial coordination1Spatial Tuples2STIL1stochastic coordination1stochastic Prolog1stochastic simulation2stochastic simulation algorithm4stochastic π-calculus3T Spaces2timed coordination2Timed ReSpecT2tools1TRUST 032TuCSoN40tuple centres6tuple-based coordination7tuProlog2ubiquitous systems1UNIBO1verification3web services1wildcards1WordNet1π-calculus1