NDLI: Formal modelling of a bio-inspired paradigm capable of exhibiting emergence

Please wait, while we are loading the content...

A novel algorithm for an image processing system in entomology

OECEP: enriching complex event processing with domain knowledge from ontologies

International educational cooperation: one possible model

Privacy aware eLearning environments based on hippocratic database principles

Comparison of information retrieval models for question answering

Parameterized verification of open procedural programs

A Hoare-style verification calculus for control state ASMs

Optimising Flash non-volatile memory using machine learning: a project overview

Extracting drug adverse and beneficial reactions in pediatric population from healthcare social network

S-Suite: a multipart service oriented architecture for the car rental sector

A BIBO ontology extension for evaluation of scientific research results

Communication in machine-to-machine environments

Virtualized environments in cloud can have superlinear speedup

Predictive complex event processing: a conceptual framework for combining complex event processing and predictive analytics

Risks affecting the development of the information society in the Republic of Moldova: insights from a Delphi survey

Correlation between soft organizational features and development of ICT infrastructure

Efficient dataset size reduction by finding homogeneous clusters

Performance study of matrix computations using multi-core programming tools

Information system monitoring and notifications using complex event processing

A set-based approach to negotiation with concessions

Framework for open data mining in e-government

Storing XML documents in databases using existing object-relational features

Collective information extraction using first-order probabilistic models

SSQSA architecture

Comparative performance evaluation of the AVL and red-black trees

Neuroevolution based multi-agent system for micromanagement in real-time strategy games

Social networking software use in social media marketing vs. traditional marketing: case study in Macedonia

Challenging issues of UCON in modern computing environments

Discovery and evaluation of student's profiles with machine learning

A parallel processing of spatial data interpolation on computing cloud

Statically typed matrix: in C++ library

The modification of genetic algorithms for solving the balanced location problem

A software tool that helps teachers in handling, processing and understanding the results of massive exams

Insider threats in corporate environments: a case study for data leakage prevention

Rule-based assignment of comments to AST nodes in C++ programs

Formal modelling of agents acting under artificial emotions

Integrating Serbian public data into the LOD cloud

Recent advances delivered by HTML 5 in mobile cloud computing applications: a survey

Formal modelling of a bio-inspired paradigm capable of exhibiting emergence

Reservoir sampling techniques in modern data analysis

Evaluation of tools for automated unit testing for applications in OSGi

A distributed asynchronous and privacy preserving neural network ensemble selection approach for peer-to-peer data mining

A software tool for building a statistical prefix processor

Community detection and analysis of community evolution in Apache Ant class collaboration networks

Adoption of object-oriented software metrics for ontology evaluation

Recognition and normalization of some classes of named entities in Serbian

Growth rate analysis of e-Government development

Time-series mining in a psychological domain

Modeling the characteristics of a learning object for use within e-learning applications

An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus

Management, communications and security policy in mobile database systems

A knowledge based approach for handling supply chain risk management

An approach to the specification of user interface templates for business applications

Analyzing the selection and dynamic composition of web services in e-commerce transactions

Programming techniques and environments in a technology management department

Formal modelling of a bio-inspired paradigm capable of exhibiting emergence

Content Provider	ACM Digital Library
Author	Paunovski, Ognen Cowling, Anthony J. Rousis, Konstantinos Eleftherakis, George
Abstract	The Emergent Distributed Bio-Organization (EDBO) case study has demonstrated the potential of harnessing emergent properties in Artificial Distributed Systems (ADS). Introducing biologically inspired attributes and functions to the microscopic level (i.e. the biobots) has allowed for the emergence of global-level behaviours such as network scalability, availability and super-node formations. Experience gained during work with EDBO was further incorporated into a disciplined framework for harnessing emergence in ADS. In an attempt to increase confidence in this framework and the results gathered so far by EDBO simulations, this paper performs a feasibility study on formally modelling, documenting, and validating the EDBO case study. By using the X-machine formalism, this step further serves as a preliminary, transition, step for running EDBO on FLAME; an agent-based simulation platform built upon the theoretical foundation of X-machines.
Starting Page	223
Ending Page	228
Page Count	6
File Format	PDF
ISBN	9781450312400
DOI	10.1145/2371316.2371360
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-09-16
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Distributed systems Emergence Formal methods X-machines Complex systems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in