Dashboard

Pages

Tags

  1. &-Prolog
  2. .NET
  3. 2APL
  4. 2p-Kt
  5. 2PaaS
  6. 2pTag
  7. 2PTags
  8. 3APL
  9. A&A
  10. A&A ReSpecT
  11. ABA+
  12. abduction
  13. abductive logic programming
  14. abduttive agents
  15. abduttive reasoning
  16. ABS
  17. abstract tuples
  18. Accenture
  19. access control
  20. ACLT
  21. ACME
  22. activity theory
  23. Actor-D
  24. actors
  25. ad hoc alignment
  26. adaptive governance
  27. adaptive systems
  28. adaptive tuple clustering
  29. ADELFE
  30. adjustable autonomy
  31. ADL
  32. ADR
  33. agens faber
  34. Agens faber
  35. agent augmented community
  36. agent behaviour
  37. agent body
  38. agent cognition
  39. agent communication
  40. agent communication languages
  41. agent control loop
  42. agent coordination contexts
  43. agent management system
  44. agent middleware
  45. agent model
  46. agent programming
  47. agent societies
  48. agent technology
  49. agent workspaces
  50. agent-based modelling
  51. agent-based modelling and simulation
  52. agent-based technologies
  53. agent-based XAI
  54. agent-oriented computing
  55. agent-oriented programming
  56. agent-oriented software engineering
  57. AgentLink
  58. agents
  59. AgentSpeak
  60. AgentSpeak(L)
  61. Agent & Law
  62. AGERE
  63. aggregate computing
  64. agile software development
  65. Aglets
  66. agreement technologies
  67. AI2Go
  68. AI4EU
  69. AIBA
  70. air traffic control
  71. Ajax
  72. Akka
  73. ALBA
  74. Alberto Martelli
  75. Alchemist
  76. ALIAS
  77. allopoiesis
  78. AlmaActa
  79. ALOO
  80. alternative dispute resolution
  81. Alzheimer
  82. Amazon Elastic GPUs
  83. Amazon S3
  84. Amazon Web Services
  85. ambient intelligence
  86. AmbientTalk
  87. amorphous computing
  88. AMPQ
  89. AMUSE
  90. AND-parallelism
  91. Andorra
  92. Android
  93. Angular
  94. Ansible
  95. answer set programming
  96. Ant
  97. ant clustering
  98. ant foraging
  99. antivirus
  100. AnyLogic
  101. AOSD
  102. AOSE methodologies
  103. Apache Bookkeper
  104. Apache Cassandra
  105. Apache Commons Mathematics Library
  106. Apache Flink
  107. Apache HttpClient
  108. Apache Kafka
  109. Apache Nutch
  110. Apache Pulsar
  111. Apache Zookeeper
  112. APICe
  113. APPEAL
  114. Application
  115. AR-Drone
  116. Ara
  117. architectural styles
  118. Arduino
  119. Arg2P
  120. ARGoS simulator
  121. argumentation
  122. ARM cluster
  123. artefact manuals
  124. artefacts
  125. artificial intelligence
  126. artificial life
  127. artificial vision
  128. as a service
  129. ASP.NET
  130. ASPECS
  131. aspects
  132. ASPIC+
  133. ASTRA
  134. asynchronous communication
  135. asynchronous interaction
  136. asynchronous programming
  137. Auction
  138. augmented reality
  139. augmented worlds
  140. AUML
  141. Aurora
  142. authentication
  143. authentication protocols
  144. authorisation
  145. automated guided vehicles
  146. automated reasoning
  147. automatic systems
  148. automatic service composition
  149. AutoML
  150. autonomic communication
  151. autonomic computing
  152. autonomic systems
  153. autonomous cars
  154. autonomous driving
  155. autonomous flight
  156. autonomous robots
  157. autonomous systems
  158. autonomous vehicles
  159. autonomous weapon systems
  160. autonomy
  161. autopoiesis
  162. AUTOSAR 3LSC
  163. availability
  164. AWARENESS
  165. Axios
  166. Bach
  167. backend as a service
  168. BaSi
  169. basketball
  170. bathhouses
  171. Battleship
  172. BDI
  173. beach volley
  174. beacon devices
  175. behaviour analysis
  176. behaviour prediction
  177. behavioural implicit communication
  178. BentoML
  179. Berkeley algorithm
  180. bio-inspired computation
  181. bio-inspired computing
  182. bio-inspired design patterns
  183. bio-inspired networking
  184. Biobricks
  185. biochemical coordination
  186. biochemical tuple spaces
  187. Biochemical simulation
  188. Bioinformatics
  189. biological systems
  190. biology
  191. BioMABS
  192. Biomimetics
  193. BioPepa
  194. bisimulation
  195. BISON
  196. Bitcoin
  197. black-box regressors
  198. Blackboard
  199. blockchain
  200. blockchain-based coordination
  201. Bluetooth Low Energy
  202. board games
  203. bookies
  204. Bootstrap
  205. BPEL
  206. BPMN
  207. BTS-SOC
  208. bubble rap
  209. bulk primitives
  210. burden of persuasion
  211. burden of proof
  212. Business
  213. business rule management systems
  214. Butlers
  215. byzantine behaviour
  216. byzantine fault tolerance
  217. byzantine generals problem
  218. C#
  219. C@sa
  220. CAA
  221. CAP theorem
  222. car-to-car gossiping
  223. CARA
  224. card games
  225. Cards Against Humanity
  226. CArtAgO
  227. CArtAgO-WS
  228. CASE
  229. CASE tools
  230. case-based planning
  231. CASO
  232. causal interpretation
  233. CellML
  234. cellular automata
  235. Cellulat
  236. Ceph
  237. Chandy-Lamport algorithm
  238. chat
  239. chatbot
  240. chemical coordination
  241. chemical models
  242. chemical tuple spaces
  243. chronic diseases
  244. CI/CD
  245. CINA
  246. CINECA
  247. class loading
  248. clause database
  249. client-side computing
  250. cloud computing
  251. cloud storage
  252. Cloudify
  253. CloudStack
  254. clustering
  255. CMS
  256. CNR-PA
  257. co-argumentation artefacts
  258. co-argumentation artifact
  259. Co-fields
  260. cognitive agents
  261. cognitive artefacts
  262. cognitive stigmergy
  263. collaboration
  264. collaborative learning
  265. collaborative learning systems
  266. Collaborative work
  267. collective intelligence
  268. collective sorting
  269. collision avoidance
  270. collision prediction
  271. Communication
  272. communication networks
  273. CompBioModel
  274. complex networks
  275. complex system simulation
  276. complex systems
  277. complexity
  278. component-based systems
  279. CompuLaw
  280. computable law
  281. computation tree logic
  282. computational biology
  283. computational ecosystems
  284. computational fields
  285. computational institutions
  286. computational logic ecosystem
  287. computational logics
  288. computer science
  289. computing
  290. concurrent languages
  291. concurrent logic programming
  292. concurrent object-oriented programming
  293. concurrent software engineering
  294. ConDec
  295. conference management
  296. CONNECARE
  297. Constraint
  298. constraint logic programming
  299. constraint programming
  300. constraint satisfaction
  301. contact centres
  302. container orchestration
  303. containerisation
  304. content management systems
  305. Context
  306. context awareness
  307. context-aware computing
  308. context-dependent coordination
  309. contexts
  310. contextual logic programming
  311. contextual programming
  312. contract nets
  313. control-driven coordination
  314. Control-driven models
  315. conversational agents
  316. conversational systems
  317. cooperation
  318. cooperative argumentation
  319. cooperative information retrieval
  320. cooperative information systems
  321. coordination
  322. coordination architecture
  323. coordination artefacts
  324. coordination as a service
  325. coordination expressiveness
  326. coordination languages
  327. coordination middleware
  328. coordination models
  329. coordination patterns
  330. coordination technology
  331. coordination without model
  332. coordination-aware elasticity
  333. coordination-based simulation
  334. Coordination artefacts
  335. copy-collect
  336. CORBA
  337. Corda
  338. Cordova
  339. core calculus
  340. core languages
  341. cosmic rays
  342. Cougaar
  343. counterfactual explanation
  344. crawler4j
  345. CRIS
  346. Croquet SDK
  347. Crosscutting
  348. crosscutting concerns
  349. crowd evacuation
  350. crowd modelling
  351. cryptocurrency
  352. cryptography
  353. CSCW
  354. CSM
  355. CSpaces
  356. CSS
  357. customer relationship management
  358. cyber-physical and cloud systems
  359. cyber-physical systems
  360. cybersecurity
  361. Cypress
  362. D
  363. DAI
  364. dasLab
  365. data aggregation
  366. data analytics
  367. data fusion
  368. data mining
  369. data streams
  370. Data-driven models
  371. database replication
  372. DCaseLP
  373. DCVS
  374. decentralisation
  375. decentralised storage
  376. decision support systems
  377. Decision making
  378. declarative programming
  379. declarative technologies
  380. deep learning
  381. deep reinforcement learning
  382. defeasible logic
  383. defeasible preference
  384. defeasible reasoning
  385. delegation
  386. DeLP
  387. demo
  388. description logics
  389. design guidelines
  390. design patterns
  391. design process documentation and fragmentation
  392. developmental biology
  393. DevOps
  394. DevStack
  395. diabetes mellitus
  396. dialogue
  397. Dialogue artifact
  398. digital democracy
  399. digital health
  400. digital pheromones
  401. digital twins
  402. discrete-event simulation
  403. dispersion games
  404. distance learning
  405. distance sensors
  406. distributed adaptive controller
  407. distributed argumentation
  408. distributed cognition
  409. distributed consensus
  410. distributed data mining
  411. distributed data processing
  412. distributed databases
  413. distributed information retrieval
  414. distributed key-value stores
  415. distributed ledger technology
  416. distributed logic programming
  417. distributed MAS
  418. distributed messaging
  419. distributed programming
  420. distributed robot systems
  421. distributed state
  422. distributed streaming
  423. distributed system monitoring
  424. distributed systems
  425. distributed systems engineering
  426. distributed systems inspection
  427. Docker
  428. Docker Swarm
  429. doctorate consortium
  430. domain name system
  431. domain specific languages
  432. domotic agents
  433. DrJava
  434. drones
  435. Drosophila Melanogaster
  436. DrSimpA
  437. DSAW
  438. DVCS
  439. DVCS Git
  440. dynamic georeferencing
  441. dynamic task allocation
  442. DyNE
  443. e-democracy
  444. e-democracy platforms
  445. e-health
  446. E-learning
  447. E-learning platforms
  448. E-learning tools
  449. EASE
  450. EasyLiving
  451. Eclipse
  452. Eclipse constraint solver
  453. Eclipse-IT
  454. eco-laws
  455. EcoNews
  456. Ecosystem
  457. ecosystems
  458. edge computing
  459. edge intelligence
  460. EDITH
  461. educational psychology
  462. EgoSpaces
  463. EHR
  464. elasticity
  465. ELDAMeth
  466. eLearning
  467. election algorithms
  468. embedded environments
  469. embedding
  470. embodied computing
  471. embodied vs. disembodied coordination
  472. emergent behaviours
  473. empirical model learning
  474. end-to-end testing
  475. Engineering
  476. environment engineering
  477. environment modelling
  478. environment-based coordination
  479. environment-oriented programming
  480. epidemic-spread simulation
  481. epistemic action
  482. epistemology
  483. ePolicy
  484. ERP
  485. Error handling
  486. etcd
  487. eternal systems
  488. Ethereum
  489. ethical AI
  490. euroCRIS
  491. EU project
  492. event loop
  493. event model
  494. event notification
  495. event tracker
  496. event-based systems
  497. event-driven coordination
  498. event-driven programming
  499. Evolution
  500. evolutionary algorithms
  501. evolutionary computing
  502. evolutionary multi-agent systems
  503. exception handling
  504. EXPECTATION
  505. explainability
  506. eXplainable AI
  507. explanation as communication
  508. explanation-ready agents
  509. Express
  510. expressiveness
  511. extended reality
  512. externalised rationality
  513. extreme programming
  514. fantasy football
  515. fault tolerance
  516. ffmpeg
  517. field calculus
  518. field-based coordination
  519. finite state machine
  520. FIPA
  521. FIPA ACL
  522. FIPA agents
  523. FIPA DPDF
  524. FIPA protocols
  525. FIPA ACL
  526. fire detection
  527. FIT
  528. flocking systems
  529. Flutter
  530. fog computing
  531. follow-me
  532. foraging
  533. formal models
  534. formal tools for software engineering
  535. Foundry
  536. fragment
  537. fragmentation
  538. Framework
  539. function as a service
  540. functional programming
  541. Functional safety
  542. FuturICT
  543. fuzzy coordination
  544. fuzzy description logic
  545. Gaia
  546. Gaia4E
  547. GALILEO
  548. game engines
  549. games
  550. Gamma
  551. generalised assignment problem
  552. Generative communication
  553. generics
  554. genetic algorithms
  555. genetic operators
  556. geo-fencing
  557. Geo-Linda
  558. geo-location
  559. Geo2p
  560. geofencing
  561. geolocalisation
  562. geolocation
  563. Gillespie
  564. Git
  565. GitBucket
  566. Gitea
  567. GitFlow
  568. GitHub
  569. GitLab
  570. GitPrep
  571. glycolysis
  572. Go
  573. goal-oriented systems
  574. Google Cloud
  575. Google DART
  576. Google Maps
  577. Google Android
  578. GORMAS
  579. gossip pattern
  580. GPS
  581. Grade
  582. gradient pattern
  583. Gradle
  584. graph DB
  585. graph neural networks
  586. graphic interfaces
  587. Graphivz
  588. green ICT
  589. grey-box semantics
  590. grid computing
  591. GridEx
  592. group buy
  593. GroupLog
  594. gRPC
  595. Gson
  596. GUI
  597. H2020
  598. hands-free
  599. HCI
  600. health care
  601. Healthcare
  602. hematopoietic stem cells
  603. HERE Development
  604. Hermit
  605. hierarchical planning
  606. hierarchy in complex systems
  607. HiMAT
  608. History of ideas
  609. Hive BDI
  610. holonic MAS
  611. home automation
  612. Home Manager
  613. HoneyBadger BFT
  614. Hospital 4.0
  615. hovering information
  616. HTML
  617. HTML5
  618. HTTP
  619. HTTP challenge
  620. hybrid agents
  621. hybrid coordination
  622. hybrid-quorum replication
  623. Hyperledger
  624. HyperLedger Fabric
  625. IBM Watson
  626. IDE
  627. ideal gas
  628. IEEE
  629. IEEE-FIPA documentation template
  630. IEEE FIPA
  631. IFTS
  632. IKVM
  633. implicit communication
  634. Implicit culture
  635. improvisation
  636. in-memory database
  637. indoor localisation
  638. inductive logic programming
  639. Industry 4.0
  640. information extraction
  641. information harvesting
  642. Information retrieval
  643. infrastructure as a code
  644. infrastructure free
  645. INGENIAS
  646. INGENIAS-Agile
  647. Inspector tool
  648. intelligent agents
  649. intelligent beings
  650. intelligent environment
  651. intelligent fridge
  652. intelligent systems
  653. intelligent transportation systems
  654. intelligent virtual environments
  655. IntelliJ IDEA
  656. intentional agents
  657. inter-organisational workflow
  658. interaction
  659. interaction patterns
  660. interaction protocols
  661. interaction semantics
  662. interactive graphical maps
  663. interactive systems
  664. Internet agents
  665. Internet of Intelligent Things
  666. Internet of Things
  667. Internet of Vehicles
  668. interoperability
  669. interpretability
  670. interpretable prediction
  671. intracellular signalling pathways
  672. intrusion detection
  673. inversion of control
  674. iOS
  675. IRIS
  676. IRoom
  677. ISO
  678. ISO26262
  679. Istar
  680. IVRE
  681. Ivy
  682. J2EE
  683. J2ME
  684. Ja.Net
  685. JaCa
  686. JaCa-Android
  687. JaCa-Web
  688. JaCa-WS
  689. JaCaMo
  690. JACK
  691. JADE
  692. Jade-LEAP
  693. Jadex
  694. Jasa agents
  695. Jason
  696. Java
  697. Java agents
  698. Java Metro
  699. Java Scripting Engine
  700. Java-based OS
  701. JavaBeans
  702. Javalin
  703. JavaLog
  704. JavaScript
  705. JavaSpaces
  706. JDBC
  707. JDDAC
  708. JEdit
  709. Jess
  710. JFact
  711. Jini
  712. JNode
  713. Join point
  714. journalism
  715. jQuery
  716. JRDF
  717. JSON
  718. JUnit
  719. Kallithea
  720. Kea
  721. KINS
  722. KIS
  723. Klaim
  724. knowledge extraction
  725. knowledge management
  726. knowledge representation
  727. knowledge-based systems
  728. knowledge-intensive environment
  729. knowledge-oriented coordination
  730. knowledge-oriented coordination
  731. Knowledge diffusion
  732. KNX protocol stack
  733. Kotlin
  734. Kryonet
  735. Kubectl
  736. Kubeflow
  737. Kubernetes
  738. labelled logic programming
  739. labelled systems
  740. labelled theories
  741. labelled transition systems
  742. labelled tuProlog
  743. labelled variables
  744. labelled variables in logic programming
  745. Lagom
  746. LAILA
  747. lambda architecture
  748. languages
  749. large-scale coordination
  750. large-scale distributed systems
  751. large-scale simulation
  752. Law-governed Linda
  753. layering
  754. learning management systems
  755. learning process
  756. ledgers
  757. legal reasoning
  758. LEGO Mindstorms
  759. Legolog
  760. LeJOS
  761. leRCOS
  762. Let’s Encrypt
  763. LIDAR
  764. life simulator
  765. lifted relational neural networks
  766. LighTS
  767. Lime
  768. LinCa
  769. Linda
  770. linear logic
  771. linear temporal logic
  772. linkability
  773. linking primitives
  774. LiquidFeedback
  775. LISA Pathfinder
  776. live semantic annotations
  777. load balancing
  778. load classification
  779. logic
  780. logic agents
  781. logic clauses
  782. logic constraints
  783. logic induction
  784. logic programming
  785. logic tuple centres
  786. logic tuple spaces
  787. logic tuples
  788. logic-based argumentation
  789. logic-based coordination
  790. logic-based reasoning
  791. logic-based techniques
  792. logic-based technologies
  793. logical clocks
  794. logics
  795. LogOp
  796. Lotka-Volterra equation
  797. LPaaS
  798. LPaas client
  799. LPaas-REST
  800. LSA
  801. LuCe
  802. LVLP
  803. machine ethics
  804. machine learning
  805. MAgentA
  806. Magneti Marelli
  807. managed service provider
  808. Management
  809. Manifold
  810. Map
  811. MAPE
  812. MAPK
  813. Marmotta
  814. MARS
  815. MARS-X
  816. MAS applications
  817. MAS autonomy
  818. MAS coordination
  819. MAS elasticity
  820. MAS engineering
  821. MAS environment
  822. MAS meta-model
  823. MAS middleware
  824. MAS organisation
  825. MAS programming
  826. MAS security
  827. MAS verification
  828. MaSE
  829. MASON
  830. massive data
  831. massively multi-agent systems
  832. matchmaking
  833. Materialize
  834. matheuristics
  835. Maude
  836. Maven
  837. MDA
  838. MDSD
  839. MediatR
  840. medieval battles
  841. meeting-scheduling
  842. MemN2N
  843. MEnSA
  844. Mentalistic agents
  845. Mercurial
  846. MERCURIO
  847. MeshNet
  848. message passing
  849. message-oriented middleware
  850. meta-argumentation
  851. meta-heuristics
  852. meta-interpretation
  853. meta-interpretative learning
  854. meta-model
  855. meta-modelling
  856. meta-programming
  857. meta-rules
  858. metabolyc pathways
  859. Metaio
  860. MetaMeth
  861. MetaPatrol
  862. Method
  863. method engineering
  864. methodologies
  865. methodology
  866. methodology evaluation
  867. micro-intelligence
  868. microservices
  869. Microsoft SQL Server
  870. middleware
  871. middleware integration
  872. Mini-ME
  873. minority game
  874. MIP-nets
  875. MiRAgE
  876. mirror worlds
  877. MLFlow
  878. MLOps
  879. Mobile
  880. mobile ad-hoc networks
  881. mobile agents
  882. mobile applications
  883. mobile backend as a service
  884. mobile banking
  885. mobile computing
  886. mobile devices
  887. mobile health
  888. mobile musical agents
  889. mobile AR
  890. Mobile web
  891. mobility
  892. mobility models
  893. Mocha
  894. Mockito
  895. model checking
  896. model-driven architecture
  897. model-driven engineering
  898. Modeling
  899. modelling and simulation
  900. Modelli di comunicazione
  901. models
  902. modular embedding
  903. Moise
  904. MoK
  905. MoK atoms
  906. MoK matching function
  907. MoK middleware
  908. MoK reactions
  909. MoK storage
  910. MoK users
  911. Mok-News
  912. Mole
  913. Moleculer
  914. MongoDB
  915. morphogenesis
  916. Mosquitto
  917. motion
  918. Mozilla
  919. MQTT
  920. MRS
  921. MS-BioNET
  922. msbionet
  923. MSR
  924. multi-agent based simulation
  925. multi-agent organisation
  926. multi-agent routing
  927. multi-agent systems
  928. multi-disciplinary research
  929. multi-level autonomy
  930. multi-level models
  931. multi-paradigm languages
  932. multi-paradigm modelling
  933. multi-paradigm programming
  934. Multi-paradigm modelling
  935. multi-sensing data fusion
  936. multi-threading
  937. multicellular systems biology
  938. multiplayer games
  939. multiple coordination flows
  940. multitasking
  941. musical acts
  942. musical agent architecture
  943. musical agents
  944. MySQL
  945. n-Queens
  946. naming system
  947. natural language processing
  948. nature-inspired computing
  949. nature-inspired coordination
  950. nature-inspired models
  951. negotiation
  952. Neo4j
  953. NetBeans
  954. NetLogo
  955. Netty
  956. network management
  957. network time protocol
  958. Network topology
  959. neural architecture search
  960. neural network complexity
  961. neural network opacity
  962. neural networks
  963. neuro-symbolic computing
  964. news management systems
  965. NIC
  966. Node.js
  967. Nomi cose città
  968. norms
  969. noSQL
  970. npm
  971. NXC
  972. O-MaSe
  973. object-oriented inductive logic programming
  974. object-oriented logic programming
  975. object-oriented Petri nets
  976. object-oriented planning
  977. object-oriented programming
  978. object-oriented model
  979. objective coordination
  980. objective vs. subjective coordination
  981. observation
  982. observation-based coordination
  983. obstacle avoidance
  984. Octopus
  985. online engineering
  986. ontologies
  987. OOSE
  988. open systems
  989. open vehicle fleets
  990. OpenGL
  991. OpenNLP
  992. OpenStack
  993. OpenUP
  994. open systems
  995. operating instructions
  996. operation manual
  997. operational semantics
  998. OPM
  999. opportunistic IoT services
  1000. opportunistic network
  1001. optimisation
  1002. OPTYap
  1003. OR-parallelism
  1004. Oracle CRM
  1005. Orchestration
  1006. organ transplantation
  1007. organisation-oriented programming
  1008. OrientDB
  1009. Orleans
  1010. Ospedale Bufalini
  1011. OWAMAH
  1012. OWL
  1013. OWL-S
  1014. OWL-T
  1015. P@J
  1016. PAAS
  1017. PageSpace
  1018. paradigm shift
  1019. Paradigm shift
  1020. parallel algorithms
  1021. parameter engineering
  1022. parameter optimisations
  1023. parametric weighted multi-path
  1024. particle systems
  1025. PASSI
  1026. path planning
  1027. Payara
  1028. Pellet
  1029. PEPA
  1030. perception
  1031. persistency
  1032. persistent storage
  1033. personal agents
  1034. personal medical digital assistants
  1035. pervasive communication
  1036. pervasive computing
  1037. pervasive ecosystems
  1038. pervasive sensing
  1039. pervasive service ecosystems
  1040. pervasive systems
  1041. Petri nets
  1042. PFA
  1043. Phabricator
  1044. Pheromones
  1045. PHP
  1046. physical clocks
  1047. physics
  1048. pi-calculus
  1049. plain diffusion
  1050. planning
  1051. PlantUML
  1052. pLinda
  1053. plp
  1054. plug-in
  1055. PMML
  1056. PNagent
  1057. Pointcut
  1058. poker
  1059. post-declarative programming
  1060. PostgresSQL
  1061. Postman
  1062. practical Byzantine fault tolerance
  1063. practical reasoning
  1064. PRACTIONIST
  1065. pray-predator
  1066. pregnancy
  1067. prey-predator
  1068. principle
  1069. PRISM
  1070. privacy
  1071. private cloud
  1072. private international law
  1073. proactivity
  1074. probabilistic languages
  1075. probabilistic logic programming
  1076. probabilistic model checking
  1077. probabilistic modular embedding
  1078. ProbLinCa
  1079. Process
  1080. process algebras
  1081. process calculus
  1082. process engineering
  1083. process management
  1084. Process migration
  1085. PRODE
  1086. profiling
  1087. program correctness
  1088. program specification
  1089. program verification
  1090. programmable coordination media
  1091. programming
  1092. programming languages
  1093. programming paradigms
  1094. project dissemination
  1095. Projects
  1096. Prolog
  1097. Prolog agents
  1098. Prolog agents
  1099. Prometheus
  1100. proof of stake
  1101. proof of work
  1102. PROSOCS
  1103. Protelis
  1104. Proto
  1105. Protobuf
  1106. protocol buffers
  1107. PRS
  1108. PSyKE
  1109. PSyKI
  1110. publish/subscribe
  1111. Python
  1112. Q-learning
  1113. QoS
  1114. Qu-Prolog
  1115. quadcopters
  1116. Quidditch
  1117. Quintus Prolog
  1118. quorum-based protocols
  1119. R
  1120. R3 Corda
  1121. RabbitMQ
  1122. Raft
  1123. Raspberry Pi
  1124. rational agents
  1125. RBAC
  1126. RBAC-MAS
  1127. RDF
  1128. re-organisation
  1129. React Native
  1130. React.js
  1131. reactive agents
  1132. reactive behavioral system
  1133. Reactiveness
  1134. real time
  1135. real-time physical activity
  1136. real-time strategy games
  1137. recommendation systems
  1138. recommender systems
  1139. Redis
  1140. Redux
  1141. refactoring
  1142. reflection
  1143. REGN
  1144. reification
  1145. reliability
  1146. remote diagnosis
  1147. remote management
  1148. Reo
  1149. reorganization
  1150. RePAST
  1151. replica-based protocols
  1152. replication
  1153. Repository
  1154. Requirement analysis
  1155. RESET
  1156. resource-constrained devices
  1157. resource-oriented architecture
  1158. ReSpecT
  1159. ReSpecTX
  1160. ReSpecT nets
  1161. REST
  1162. RESTful web services
  1163. RethinkDB
  1164. Reti neuronali
  1165. RETSINA
  1166. reverse geocoding
  1167. reverse proxy
  1168. rewriting logic
  1169. RFID
  1170. RGB-D
  1171. Rhino
  1172. Risk
  1173. risk analysis
  1174. RMI
  1175. RoboCup
  1176. robot controller
  1177. robot coordination
  1178. robot navigation
  1179. Robot Operating System
  1180. robot programming
  1181. robot simulation
  1182. robot systems
  1183. Robot Wars
  1184. Robot coordination
  1185. RoboVM
  1186. role-based models
  1187. roles
  1188. RoleX
  1189. ROMAS
  1190. Rousseau
  1191. RSS
  1192. RTS games
  1193. S-WAM
  1194. SANA
  1195. SANAP
  1196. SAP
  1197. SAPERE
  1198. SAPERE-core
  1199. SAPERE-in
  1200. SAPERE-pre
  1201. SAPERE-rel
  1202. SAPERE-WP1
  1203. SAPERE-WP2
  1204. SAPERE-WP4
  1205. SAPERE-WP6
  1206. SARL
  1207. SBML
  1208. SC00097B
  1209. ScaFi
  1210. Scala
  1211. scalability
  1212. scheduling
  1213. Scientific reseaarch
  1214. SCIFF
  1215. Scripting languages
  1216. SeaweedFS
  1217. secure MAS
  1218. security
  1219. self-*
  1220. self-adaptation
  1221. self-assembling robots
  1222. self-awareness
  1223. self-management of chronic diseases
  1224. self-organisation
  1225. self-organisation patterns
  1226. self-organising architectures
  1227. self-organising coordination
  1228. self-organising knowledge
  1229. self-organising MAS
  1230. self-organising semantic coordination
  1231. self-organising systems
  1232. self-organising workspaces
  1233. self-stabilisation
  1234. semantic chemistry
  1235. semantic coordination
  1236. semantic matchmaking
  1237. semantic reasoning
  1238. semantic sensor networks
  1239. Semantic TuCSoN
  1240. semantic tuple centres
  1241. semantic web
  1242. Semantic Web of Things
  1243. Semantics
  1244. Semantic matching
  1245. Semantic TuCsoN
  1246. SemHealthCoord
  1247. SemHealthCoord-in
  1248. SemHealthCoord-pre
  1249. serverless architecture
  1250. service self-composition
  1251. service-oriented architecture
  1252. Services
  1253. Sevices
  1254. Shallow2Deep
  1255. sharding
  1256. Shared Prolog
  1257. Shared Prolog
  1258. SHOIN(D)
  1259. SICStus
  1260. SICStus Prolog
  1261. signalling pathways models
  1262. SignalR
  1263. Simbad
  1264. similarity
  1265. simpA
  1266. simpA-WS
  1267. simpAL
  1268. simulation
  1269. simulation in software engineering
  1270. simulation on software engineering
  1271. situadeness
  1272. situated computing
  1273. situated coordination
  1274. situated intelligence
  1275. situated logic programming
  1276. Situated ReSpecT
  1277. situatedness
  1278. situational method engineering
  1279. situational process engineering
  1280. Situational Method Engineering 
  1281. SLD resolution
  1282. Small world networks
  1283. smart co-working
  1284. smart contracts
  1285. smart environments
  1286. smart glasses
  1287. smart grids
  1288. smart home
  1289. smart hospital
  1290. smart mobility
  1291. smart spaces
  1292. Smart Environment
  1293. SOAP
  1294. SOAR
  1295. soccer
  1296. social action
  1297. social autonomy
  1298. social networks
  1299. social sciences
  1300. social systems
  1301. SOCIALNETS
  1302. Social networks
  1303. socio-technical systems
  1304. Socio-technical systems
  1305. socket library
  1306. SockJS
  1307. SODA
  1308. software architecture
  1309. software as a service
  1310. software development
  1311. software development process
  1312. software engineering
  1313. software engineering process
  1314. software process
  1315. software testing
  1316. software-defined storage
  1317. Software factory
  1318. Software systems
  1319. SOKO coordination model
  1320. Solidity
  1321. sonar sensors
  1322. SOS
  1323. space awareness
  1324. space-aware coordination
  1325. space-based coordination
  1326. Space-based coordination
  1327. space-time programming
  1328. SPADE
  1329. spatial computing
  1330. spatial computing languages
  1331. spatial coordination
  1332. spatial reasoning
  1333. Spatial ReSpecT
  1334. Spatial Tuples
  1335. Spatial abstractions
  1336. Spatial coordination
  1337. spatio-temporal computing
  1338. SPEM
  1339. SPEM 2.0
  1340. SpiderMonkey
  1341. Spring Boot
  1342. SQL
  1343. SQL Server
  1344. SSL/TLS
  1345. StairwAI
  1346. standard of proofs
  1347. standards
  1348. state machine replication
  1349. statistical mechanics
  1350. Stellar
  1351. stem cells
  1352. stigmergy
  1353. stochastic coordination
  1354. stochastic Prolog
  1355. stochastic simulation
  1356. stochastic simulation algorithm
  1357. stochastic systems
  1358. stochastic π-calculus
  1359. StoKlaim
  1360. STOMP
  1361. STOMP WebSocket
  1362. StorJ
  1363. stream processing
  1364. strong consistency
  1365. structured logic programming
  1366. sTuples
  1367. subsumption architecture
  1368. supervised learning
  1369. surveillance systems
  1370. survey
  1371. SVN
  1372. Swagger
  1373. Swagger Codegen
  1374. Swarm
  1375. swarm bots
  1376. swarm intelligence
  1377. swarm robotics
  1378. SwarmLinda
  1379. Swift
  1380. Swing
  1381. SYBL
  1382. symbolic AI
  1383. symbolic knowledge extraction
  1384. symbolic knowledge injection
  1385. symbolic logic
  1386. symbolic vs. subsymbolic
  1387. symbolic reasoning
  1388. Symfony
  1389. synchronisation
  1390. Syntethic
  1391. sysadmin
  1392. systematic literature review
  1393. systemic coordination
  1394. systems
  1395. systems biology
  1396. systems biology modelling languages
  1397. systems of systems
  1398. System dynamics
  1399. T Spaces
  1400. tail recursion
  1401. Talisman
  1402. task-oriented engineering
  1403. TCP/IP
  1404. technology
  1405. telemedicine
  1406. Telescript
  1407. TeleStroke
  1408. Tenderfone
  1409. Tendermint
  1410. Terrier
  1411. Testing
  1412. text mining
  1413. TheOne
  1414. theoretical physics
  1415. theory of mind
  1416. THOMAS
  1417. ThOr
  1418. tic-tac-toe
  1419. TicTacToe
  1420. Tile38
  1421. time
  1422. time awareness
  1423. time-awareness
  1424. timed coordination
  1425. Timed ReSpecT
  1426. tools
  1427. topology
  1428. TOTA
  1429. trading systems
  1430. Traefik
  1431. traffic management systems
  1432. transactions
  1433. Transducers
  1434. transport systems
  1435. trauma management
  1436. TraumaTracker
  1437. traveling salesman problem
  1438. Travis
  1439. Triple Store
  1440. Tropos
  1441. Truff
  1442. trust
  1443. trustable systems
  1444. trustworthy AI
  1445. TuCSoN
  1446. TuCSoN on Cloud
  1447. TuCSoN4Jade
  1448. TuCSoN4Jason
  1449. TuleapL
  1450. tuple centres
  1451. tuple matching
  1452. tuple spaces
  1453. tuple-based coordination
  1454. tuProlog
  1455. Turing equivalence
  1456. TuSoW
  1457. Type 1 diabetes mellitus
  1458. TypeScript
  1459. typing
  1460. T Spaces
  1461. ubiquitous knowledge bases
  1462. uLinda
  1463. UML
  1464. uncertainty
  1465. understandability
  1466. UniBo
  1467. uniform primitives
  1468. UNIMORE
  1469. UNITN
  1470. Unity3D
  1471. Unreal Engine
  1472. urban traffic management and control
  1473. Vagrant
  1474. VCS
  1475. vehicle localisation
  1476. vehicle mileage tracking
  1477. vehicle routing problem
  1478. veicolar cloud
  1479. verification
  1480. Vert.X
  1481. video streaming
  1482. videogames
  1483. virtual enterprise
  1484. virtual organisations
  1485. Virtual Reality
  1486. virtual worlds
  1487. Virtual-Box
  1488. VirtualBox
  1489. virtualisation
  1490. virus spread
  1491. Visual Studio
  1492. VMWare
  1493. voting systems
  1494. Vue
  1495. WADE
  1496. WAM
  1497. wearable devices
  1498. Web
  1499. Web 2.0
  1500. Web 3.0
  1501. web API
  1502. web app
  1503. web auctions
  1504. web crawling
  1505. web development
  1506. Web HTTP
  1507. Web of Things
  1508. web portal
  1509. web services
  1510. web technologies
  1511. WebLP
  1512. WebSocket
  1513. Web 2.0
  1514. Web applications
  1515. Web architecture
  1516. Web frameworks
  1517. Web programming
  1518. WiFi Direct
  1519. wildcards
  1520. wireless sensor networks
  1521. WireWorld
  1522. WLAN
  1523. WoAT
  1524. WordNet
  1525. workflow
  1526. workflow description language
  1527. workflow management systems
  1528. WP2
  1529. WP6
  1530. WSCDL
  1531. WSDM
  1532. WSIT
  1533. WWW
  1534. xADL
  1535. XAI
  1536. XMAS
  1537. XML
  1538. XPath
  1539. XTend
  1540. XText
  1541. XWiki
  1542. YAML
  1543. YapOr
  1544. YAWL
  1545. Yoroi
  1546. zooming
  1547. Zyzzyva
  1548. π-calculus

Activity Stream

RSS Feed

Tags:
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY