Browse Proceedings

Graph Analytics is important in different domains: social networks, computer networks, and computational biology to name a few. This paper describes the challenges involved in programming the underlying graph algorithms for graph analytics for ...

Most computer checked proofs are tied to the particular technology of a prover’s software. While sharing results between proof assistants is a recognized and desirable goal, the current organization of theorem proving tools makes such sharing an ...

This preliminary note and its sequels present a distributed architecture for AI (Artificial Intelligence) based on a novel market microstructure. The underlying game theory is based on Information-Asymmetric (Signaling) games, where deception is ...

Computer Science often emulates humanlike behaviours including intelligence that has taken to storms in every other domain where human deals with. A computing system with a defined role and goal is called an agent with humanlike capability for ...

Multiparty session types (MPST) are a formal specification and verification framework for message-passing protocols without central control: the desired interactions at the scale of the network itself are specified into a session (called global ...

We have witnessed about a decade’s effort in opening up government institutions around the world by making data about their services, performance and programmes publicly available on open data portals. While these efforts have yielded some ...

The Steiner tree problem is one of the fundamental optimization problems in distributed graph algorithms. Recently Saikia and Karmakar [27] proposed a deterministic distributed algorithm for the Steiner tree problem that constructs a Steiner tree ...

The vehicular ad-hoc network (VANET) is used for communication between vehicles in the same vicinity and road-side-units (RSUs). Since they communicate over a public channel, a secure data transmission protocol is necessary to exchange ...

We examine the mutual exclusion problem of concurrency through the systematic application of modern feedback control theory, by revisiting the classical problem involving mutual exclusion: the Generalised Dining Philosophers problem. The result is ...

When we consider systems with process creation and exit, we have potentially infinite state systems where the number of processes alive at any state is unbounded. Properties of such systems are naturally specified using modal logics with ...

Secure Content-Based Image Retrieval (SCBIR) is gaining enormous importance due to its applications involving highly sensitive images comprising of medical and personally identifiable data such as clinical decision-making, biometric-matching, and ...

The notion of seemingly infinite resources and the dynamic provisioning of these resources on rental premise fascinated the execution of scientific applications in the cloud. The scheduling of the workflows under the utility model is always ...

In recent days most of the enterprises and communities adopt cloud services to deploy their workflow-based applications due to the inherent benefits of cloud-based services. These workflow-based applications are mainly compute-intensive. The major ...

Today’s modern industry has widely accepted the intelligent condition monitoring system to improve the industrial organization. As an effect, the data-driven-based fault diagnosis methods are designed by integrating signal processing techniques ...

Community structure is found everywhere from simple networks to real world complex networks. The problem of community detection is to predict clusters of nodes that are densely connected among themselves. The task of community detection has a wide ...

Fair allocation of unused licensed spectrum among preferable secondary users (SUs) is an important feature to be supported by Cognitive Radio (CR) for its successful deployment. This paper proposes an auction theoretic model for spectrum ...

The quest for trustworthy, reliable and efficient sources of information has been a struggle long before the era of internet. However, social media unleashed an abundance of information and neglected the establishment of competent gatekeepers that ...

Cryptographic operations involved in securing communications are computationally intensive and contribute to energy drain in mobile devices. Thus, varying the level of security according to the user’s location may provide a convenient solution to ...

Smart Grid is emerging as one of the most promising technologies that will provide several improvements over the traditional power grid. Providing availability is a significant concern for the power sector, and to achieve an uninterrupted power ...

Air-quality is degrading in developing countries and there is an urgent need to monitor and predict air-quality online in real-time. Although offline air-quality monitoring using hand-held devices is common, online air-quality monitoring is still ...

Word Sense Disambiguation (WSD) is the task of extracting an appropriate sense of an ambiguous word in a sentence. WSD is an essential task for language processing, as it is a pre-requisite for determining the closest interpretations of various ...

The problem of document clustering is about automatic grouping of text documents into groups containing similar documents. This problem under supervised setting yields good results whereas for unannotated data the unsupervised machine learning ...

The emergence of Distributed Ledger systems has made us rethink things that are possible to be digitized. A lot of tedious man labour requiring systems can be converted to digital systems for various benefits. With this new technology, we have a ...