NDLI: Design of A Concurrent Caml Light: ACCL

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

The Fifth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2014)

Fourth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2011)

2009 Second International Conference on the Applications of Digital Information and Web Technologies

Message from the Chairs

Message from the Editors

Program committees

Conference contents

Condensing the semantic (ontological concepts) of modeling diagrams: Is it possible?

Comparison the efficiency of some search engines on Arabic keywords and roots

Genetic algorithm and heuristic search for solving timetable problem case study: Universitas Pelita Harapan timetable

Buck regulators with magnetically coupled filters

Design of A Concurrent Caml Light: ACCL

Online game protocol for P2P using Byzantine agreement

Clustering data using a Nonnegative Matrix Factorization (NMF)

An efficient method for attack RSA scheme

Evolving email clustering method for email grouping: A machine learning approach

Smart Evaluation for Job Vacancy Application System

Agile Development Methodologies: Are they suitable for developing Decision Support Systems

Using semantic web to reduce the cold-start problems in recommendation systems

Adaptive mutation operator cycling

A robust hardwired interwoven fault-masking technique

A guided dynamic programming approach for searching a set of similar DNA sequences

On the performance of ITU-T G.723.1 and AMR-NB codecs for large vocabulary distributed speech recognition in Brazilian Portuguese

A business process modelling driven approach for legacy systems evolution

IPOMS: an Internet Public Opinion Monitoring System

The development of Software Certifier System (SoCfeS): The architecture and design

A frame-based dialogue management approach

Stably extracting text contents from email messages with Python

Service availability routing mechanism for mobile ad hoc networks

A novel topology of delta modulation technique for improving the power factor of AC-DC converters

Robust quantization of LPC parameters for speech communication over noisy channel

Document zone content classification for technical document images using Artificial Neural Networks and Support Vector Machines

Search tools through the glass: a story of clustering search results according to document attributes with a glance on the web

Intergrating role-based access control model with web server

A use case driven approach for quantitative software projects assessment

Ontology-driven requirements engineering with reference to the aerospace industry

Controlling and programming parallel learning based on experiences in the intelligent system

Cell planning using genetic algorithm and tabu search

Reverse engineering Function Points to Object Points

Development and investigation of a new compression technique using Boolean minimizations

Inverse filter order reduction for room acoustics equalization

Finding the design pattern from the source code for developing reusable object oriented software

Exploration of VLIW space processor for adaboost-based applications

Perfomance of XSLT processors on large data sets

An ontological approach for dynamic functionality-based web services discovery using expert systems

Learning how to program through visualization: A pilot study on the Bubble Sort algorithm

Experiments on PageRank algorithm in the XML information retrieval context

Mining the friendship relation of children from the activity data

World Wide Web based Question Answering System - a relevance feedback framework for automatic answer validation

BPAOntoSOA: A generic framework to derive software service oriented models from business process architectures

An incremental clustering crawler for community-limited search

Swarms of computational resources and swarms of tasks for building reliable systems

A background interstage gain calibration for a 16-bit pipelined ADC

A top down approach to semi-structured database design

A solution to improve algorithm for distributed mutual exclusion by restricting message exchange in quorums

A dynamic priority metascheduler for an SLA-based storage grid

Statistical software debugging: From bug predictors to the main causes of failure

Quantifying the quality of stored data by measuring their integrity

Stability of the public key cryptosystem based on Boolean product of matrices

Strong finite automata public key cryptosystem

Weblog extraction with fuzzy classification methods

Block Spoofed Packets at Source (BSPS): A method for detecting and preventing all types of spoofed source IP packets and SYN flooding packets at source: A theoretical framework

Assessing easiness with Froglingo

An observational approach to practical process non-conformance detection

Matching schemas of heterogeneous relational databases

A novel approach for iris segmentation and normalization

High-performance pattern recognition system using an improved neural classification chain and decision fusion on multispectral information

Contourlet versus Wavelet Transform: A performance study for a robust image watermarking

Proposal and verification of bidirectional recommendation system for learning web digital texts

Application of a CAN BUS transport for DDS middleware

A novel approach for license plate location in natural images

Integration, aggregation and exchange of farming device data: A high level perspective

Hybrid neural network model for web document clustering

Combining content-based and context-based methods for Persian web page classification

Online zones' identification using signature baseline

Translating RAD business process models into BPMN

A Self-Adjusting Multi-granularity Locking protocol for Object-Oriented Databases

An improved QoS based routing in available bandwidth measurement using logarithmic backoff algorithm in MANets

Pattern matching algorithm based on dynamic programming

A file replication method based on demand forecasting in P2P networks

Generalized parallel algorithms for BVPs in ODEs

On the use of path identification to block attack packets

Schema mappings and annotations in semantic integration of XML data in P2P data integration systems

Metadata integration and querying- a case of MPEG-7

Improving similarity join algorithms using vertical clustering techniques

Ethics Engineering: Modeling of ethical systems

Agent-based meeting scheduling support using mobile clients

A scoring method of XML fragments considering query-oriented statistics

Adaptive system identification using time-varying Fourier transform

Quantitative evaluation of pneumoconiosis in chest radiographs obtained with a CCD scanner

Personalcasting: The way for the Digital Terrestrial Television's digital dividend

A generic content-based image search model and its key factors

Wireless Bandwidth estimation technique (WBET) based dynamic channel allocation for IEEE802.11e standard

A hybrid approach to intelligent autonomous mobile robots

CALCI Websheets - calculation enabled web documents

An intelligent Weighted Kernel K-Means algorithm for high dimension data

Steganalysis for JPEG images based on manifold learning

Query optimization by attributes annotation in a database mediation system

The potential of imprecision in intelligent decision making

Secure IP-Ubiquitous Sensor Network for healthcare applications monitoring In-home area

Image compression using linear and nonlinear principal component neural networks

Developing an Ontology-driven Requirements Analysis Tool (OntoRAT): A use-case-driven approach

Dynamic deployment of a component framework with the Ubiqis system

A language-independent text art extraction method

Routing technique with cross-layer approach in Ad hoc network

Modeling and simulation of network redesign through clusters consolidation

Improving the performance of machine learning based face recognition algorithm with Multiple Weighted Facial Attribute Sets

CODES: A computerised approach to the analysis and management of 1D SDS PAGE gel protein image information

Graphical e-learning system based on the VisuRule concept

Integrative framework for Service Oriented Architecture composition of business processes

A value analysis model for measuring software reuse

Ruby-based data representation and the performance in Java programs

Accelerating user satisfaction in semantic e-commerce

Disruption model for Net-on-Roads

Identification of Chinese event argument

Markerless gesture based interaction for design review scenarios

A Model for fire spreading by multi-agent systems: A RoboCup Rescue simulation and Swarm platform approach

Semi-automatic extraction and modeling of ontologies using Wikipedia XML Corpus

Feedback based real time video communication (over an IP network)

Are software engineers' responses to incomplete requirements related to project characteristics?

Proposing a cognitive multi-agent model for the panic in crowds phenomenon

A novel method to guarantee QoS during DOS attacks for IPTV using SIP

Localization and Guidance in RAMPE/INFOMOVILLE-an interactive system of assistance for Blind travelers

An agent-based simulation model for pedestrian unidirectional movement

Process interoperability through proactive e-mail annotations

Web site assessment in the airline industry: An empirical study of GCC airline companies

MVPayword: Secure and efficient Payword-based micropayment scheme

Image fusion based on steerable pyramid and PCNN

Service cost and waiting time-a multi-objective optimization scenario

A location and interest based peer to peer virtual navigation system

Measuring taxonomic relationships in ontologies using lexical semantic relatedness

A service-centric approach for exploiting network intelligence

Key management in multi-distributor based DRM system with mobile clients using IBE

Trade-off between collusion resistance and user life cycle in self-healing key distributions with t-revocation

Query classification using asymmetric learning

Toward fuzzy temporal databases with temporal fuzzy linguistic terms

CQGF: Context specific query generation framework from computerized clinical practice guidelines

Evaluation of transport layer protocols for voice transmission in various network scenarios

MABSIM:A multi agent based simulation model of military unit combat

Contextual Analysis methods to evaluate the expression of sentiments in the Japanese language

A multi-objective approach for Entity Refactoring Set Selection Problem

A user performance evaluation of personalised menus

Weaving real-time constraints on behavioral and structural application model

Shifting of lecturer's instructional role in M-learning

Requirements analysis of platform CORMAS: A case study

Seam Reconstruct: Dynamic scene stitching with Large exposure difference

Automatic genre classification of Web documents using discriminant analysis for feature selection

Neural Network for Arabic text classification

Evidence based Knowledge Retrieval from CPG knowledge base by context and statistical analysis techniques

Discovering the home: Advanced concepts

Multi-channel data-acquisition and controller for mobile health monitoring system with HSDPA and GPS

P2P network-targeted DDoS attacks

Accounting education in an action-based learning environment: Lessons learned

On the use of fuzzy information retrieval for gauging similarity of Arabic documents

Interactive document retrieval from multilingual digital repositories

Biological information processing as cloud computing

A semantic web service based approach to E-Governance

2008 First International Conference on the Applications of Digital Information and Web Technologies (ICADIWT)

Design of A Concurrent Caml Light: ACCL

Content Provider	IEEE Xplore Digital Library
Author	Merah, E. Chaoui, A.
Copyright Year	2009
Description	Author affiliation: University Mentouri of Constantine, Algeria (Chaoui, A.) \|\| Centre Universitaire de Khenchela, B.P 1252 Elhouria 40004, Algeria (Merah, E.)
Abstract	In this paper we propose an extension of the functional programming language Caml Light called ACCL for A Concurrent Caml Light which aims to encompass functional, imperative and concurrent programming paradigms in a single programming language. For the concurrent extension of Caml Light, we offer a few primitives with very simple semantics by using the model of ERLANG functional programming language. Support for dynamic process creation and inter process asynchronous communication are the two of the essential extensions to Caml Light language. This proposed language will be developed further to support distributing programming and mobile computation paradigms.
Starting Page	262
Ending Page	267
File Size	348970
Page Count	6
File Format	PDF
ISBN	9781424444564
DOI	10.1109/ICADIWT.2009.5273977
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-08-04
Publisher Place	United Kingdom
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Concurrent computing Computer science Computer languages Asynchronous communication Chaotic communication Functional programming Application software Distributed computing Pattern matching Mobile computing
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