Demo Data from SIGIR 2026 / reviewers in the wild / expert
Neeran M. Karnik
dblp:56/1901
· DBLP profile ↗
13ranked-venue papers
2as first author
0since 2021 · last 2005
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 5 · 1 first-authorDatabases, data management, data science and information retrieval · 3Software engineering, systems software and programming languages · 2 · 1 first-authorArtificial intelligence and machine learning · 1Computer networks · 1Graphics, computer vision, multimedia, augmented reality and games · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
3 papers |
Services computing and microservices · 99% Operating systems · 1% | |
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Distributed systems · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 6 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Services computing and microservices › service composition
web service composition |
0.1 | 2 | 2005 | A service creation environment based on end to end composition of Web services · WWW 2005 Building Applications Using End to End Composition of Web Services · AAAI 2005 |
Services computing and microservices › service composition
automated service composition |
0.1 | 1 | 2005 | A service creation environment based on end to end composition of Web services · WWW 2005 |
Distributed systems
service-oriented architecture |
0.0 | 1 | 2005 | Building Applications Using End to End Composition of Web Services · AAAI 2005 |
Automated reasoning and model checking
planning |
0.0 | 1 | 2005 | A service creation environment based on end to end composition of Web services · WWW 2005 |
Distributed systems › service-oriented architecture › service management
configuration management |
0.0 | 1 | 1993 | Reliable Management of Distributed Computations in Nexus · HPDC 1993 |
Distributed systems
fault tolerance |
0.0 | 1 | 1993 | Reliable Management of Distributed Computations in Nexus · HPDC 1993 |
Methods — techniques the papers use, named apart from their topics
ontology · 0.1WSDL · 0.1SOAP · 0.1BPEL · 0.1AI planning · 0.1dependency and group relationship modeling · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2005 | Building Applications Using End to End Composition of Web Services
Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar 0002, Ashish Kundu, Anupam Mediratta, Sumit Mittal, Biplav Srivastava |
AAAI | 4 |
| 2005 | Moving from data modeling to process modeling in CIMabstractThis paper proposes to enhance the modeling capabilities of DMTFs common information model (CIM). Currently CIM is used to represent a conceptual view of the IT environment, by modeling concepts related to elements to be managed. However, CIM object manager (CIMOM) implementations can utilize these models in no more capacity than as a passive database. We observe that a lot more management functionality could be incorporated into CIMOM middleware by enriching CIM so that it is able to represent process models in addition to data models. Using this representation CIMOM can be empowered to take on the role of an active decision-making entity, rather than just being a repository of management data. This enables embedding of powerful functionality in the middleware, which is currently custom-built by management applications instead. We demonstrate our approach by embedding an accounting process model into CIM, to realize an accounting system that can be customized for different scenarios. Arun Kumar 0002, Neeran M. Karnik, Ravindranath C. K. |
Integrated Network Management | 2 |
| 2005 | A service creation environment based on end to end composition of Web servicesabstractThe demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standard frameworks or libraries, thus resulting in poor reuse of software assets. Web services have received much interest in industry due to their potential in facilitating seamless business-to-business or enterprise application integration. A web services composition tool can help automate the process, from creating business process functionality, to developing executable workflows, to deploying them on an execution environment. However, we find that the main approaches taken thus far to standardize and compose web services are piecemeal and insufficient. The business world has adopted a (distributed) programming approach in which web service instances are described using WSDL, composed into flows with a language like BPEL and invoked with the SOAP protocol. Academia has propounded the AI approach of formally representing web service capabilities in ontologies, and reasoning about their composition using goal-oriented inferencing techniques from planning. We present the first integrated work in composing web services end to end from specification to deployment by synergistically combining the strengths of the above approaches. We describe a prototype service creation environment along with a use-case scenario, and demonstrate how it can significantly speed up the time-to-market for new services. Vikas Agarwal, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar 0002, Ashish Kundu, Sumit Mittal, Biplav Srivastava |
WWW | 3 |
| 2005 | Synthy: A system for end to end composition of web services
Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar 0002, Sumit Mittal, Biplav Srivastava |
J. Web Semant. | 4 |
| 2004 | An information model for metering and accountingabstractThis paper proposes extensions to DMTF's CIM Metrics model and introduces a new CIM schema for representing metering and accounting information. Usage accounting is an essential component infrastructure. It is needed for purposes such as resource provisioning, capacity planning, auditing, and for charging the customers. Though some efforts are underway in this direction, currently there is no standard defined which allows metrics and usage accounting information to be specified in a way that is uniform across management applications. This paper attempts to achieve that by formalizing the concepts involved, through an information model that is independent of the actual metrics used. The proposed information model enriches the CIM Metrics schema with the notions of composite metrics and monitoring records. Further, new classes have been defined to formalize the representation of metering and accounting information. We also describe some applications of the proposed information model. Vikas Agarwal, Neeran M. Karnik, Arun Kumar 0002 |
NOMS (1) | 2 |
| 2004 | Synchronization Analysis For Decentralizing Composite Web ServicesabstractWeb Services are emerging as the standard mechanism for making information and software available programmatically via the Internet, and as building blocks for applications. A composite web service may be built using multiple component web services. Once its specification has been developed, the composite service may be orchestrated either using a centralized engine or in a decentralized fashion. Decentralized orchestration brings performance benefits, and improves scalability and concurrency. Dynamic binding coupled with decentralized orchestration adds high availability and fault tolerance to the system. However in such systems, the coordination between components needs to be carefully designed to ensure correct execution of the composite and to limit the synchronization overheads. In this paper, we categorize different forms of concurrency and provide an algorithm to identify these forms in a composite service specification. We explore different mechanisms for transferring data between the components in the presence of different forms of concurrency. Then we experimentally evaluate the efficiency and scalability of each mechanism. We also analyze the coordination requirements of a decentralized orchestration in the presence of dynamic binding and fault propagation. Mangala Gowri Nanda, Neeran M. Karnik |
Int. J. Cooperative Inf. Syst. | 2 |
| 2002 | Design of the Ajanta system for mobile agent programming
Anand R. Tripathi, Neeran M. Karnik, Tanvir Ahmed 0002, Ram D. Singh, Arvind Prakash, Vineet Kakani, Manish K. Vora, Mukta Pathak |
J. Syst. Softw. | 2 |
| 2001 | Security in the Ajanta mobile agent systemabstractAbstract A mobile agent is an object which can autonomously migrate in a distributed system to perform tasks on behalf of its creator. Security issues in regard to the protection of host resources, as well as the agent themselves, raise significant obstacles in practical applications of the agent paradigm. This article describes the security architecture of Ajanta, a Java‐based system for mobile agent programming. This architecture provides mechanisms to protect server resources from malicious agents, agent data from tampering by malicious servers and communication channels during its travel, and protection of name service data and the global namespace. We present here a proxy based mechanism for secure access to server resources by agents. Using Java's class loader model and thread group mechanism, isolated execution domains are created for agents at a server. An agent can contain three kinds of protected objects: read‐only objects whose tampering can be detected, encrypted objects for specific servers, and a secure append‐only log of objects. A generic authentication protocol is used for all client–server interactions when protection is required. Using this mechanism, the security model of Ajanta enforces protection of namespaces, and secure execution of control primitives such as agent recall or abort. Ajanta also supports communication between agents using RMI, which can be controlled if required by the servers' security policies. Copyright © 2001 John Wiley & Sons, Ltd. Neeran M. Karnik, Anand R. Tripathi |
Softw. Pract. Exp. | 1 |
| 2000 | A Security Architecture for Mobile Agents in AjantaabstractA mobile agent represents a computation that can autonomously migrate in a network to perform tasks on behalf of its creator. This paper describes the security architecture of Ajanta, a Java-based system for mobile agent programming. This architecture provides mechanisms to protect server resources from malicious agents, agent data from tampering by malicious servers, and to protect the system infrastructure itself. An agent can carry three kinds of protected data: read-only objects, objects visible only to specific servers, and a secure append-only list of objects. Agents' access to server resources is controlled using a proxy-based mechanism. A generic authentication protocol is used for all sensitive client-server interactions. Ajanta also supports communication between remote agents using RMI, which can be controlled by the servers' security policies. Neeran M. Karnik, Anand R. Tripathi |
ICDCS | 1 |
| 1999 | Mobile Agent Programming in AjantaabstractThe paper gives an overview of Ajanta, a Java based system for mobile agent programming. We outline the Ajanta architecture, and discuss the basic elements that comprise an agent based application. Ajanta's programming environment is defined in terms of a set of primitive operations for agent creation, dispatch, migration and remote control. Agents can access server resources using a proxy based access control mechanism. We describe a scheme for agent migration based on the composition of some basic migration patterns which incorporate exception handling mechanisms. Finally, we present two agent based distributed applications implemented using the Ajanta system. One is a middleware which supports file sharing over the Internet and the other is a distributed calendar manager. Anand R. Tripathi, Neeran M. Karnik, Manish K. Vora, Tanvir Ahmed 0002, Ram D. Singh |
ICDCS | 2 |
| 1995 | Trends in multiprocessor and distributed operating systems designs
Anand R. Tripathi, Neeran M. Karnik |
J. Supercomput. | 2 |
| 1994 | Configuration management in the Nexus distributed operating systemabstractAbstract The paper describes the approach taken for configuration management in the Nexus distributed operating system. Nexus uses kernel‐level support for monitoring the failure or termination status of distributed components of an application. Periodic user‐level messages are not required for status monitoring. Group and dependency relationships between such components can be defined by the programmer for the purpose of configuration monitoring and management. An object belonging to a distributed application can be monitored by its host kernel for system‐defined exception conditions. When any of these conditions arise, other objects are notified through signals or messages, as specified by the programmer. Anand R. Tripathi, Neeran M. Karnik, Surya P. Koneru, Clifton Nock, Renu Tewari, Khaled Day, Terence Noonan |
Concurr. Pract. Exp. | 2 |
| 1993 | Reliable Management of Distributed Computations in NexusabstractThis paper describes the approach taken for configuration management in the Nexus distributed operating system. Nexus uses kernel-level support for monitoring status of distributed components of an application. Periodic user-level messages are no longer required for status monitoring. Group and dependency relationships between such components can be defined by the programmer for the purpose of configuration monitoring and management. An object belonging to a distributed application can be monitored by its host kernel for some system-defined exception conditions. When any of these conditions arise, other objects are notified through signals or messages, as specified by the programmer.> Anand R. Tripathi, Surya P. Koneru, Clifton Nock, Renu Tewari, Neeran M. Karnik, Vijay Bandi, Khaled Day, Terence Noonan |
HPDC | 5 |