Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Nirmit Desai

dblp:20/4938 · also Nirmit V. Desai · DBLP profile ↗
← Back
22ranked-venue papers
9as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 9 · 4 first-author · 1 since 2021Software engineering, systems software and programming languages · 9 · 3 first-authorDatabases, data management, data science and information retrieval · 4 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 4 · 3 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 1 first-author · 1 since 2021Systems, architecture and hardware · 2 · 2 first-authorComputer networks · 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
5 papers
Requirements engineering and software design · 52% Services computing and microservices · 35% Concurrent programming · 13%
Theoretical computer science
1 paper
Logic in computer science · 100%
Artificial intelligence
1 paper
Multi-agent systems · 100%

Topics — the 9 heaviest of 9, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Services computing and microservices
business process management
0.232008
On the Enactability of Business Protocols · AAAI 2008
A Modular Action Description Language for Protocol Composition · AAAI 2007
Representing and Reasoning about Commitments in Business Processes · AAAI 2007
Requirements engineering and software design
business process modeling
0.122009
Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009
Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005
Requirements engineering and software design › business process modeling
cross-organizational business processes
0.112009
Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009
Requirements engineering and software design › requirements management
requirements evolution
0.112009
Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009
Logic in computer science › knowledge representation and reasoning › knowledge representation
action language
0.112007
A Modular Action Description Language for Protocol Composition · AAAI 2007
Concurrent programming
communication protocols
0.112005
Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005
Knowledge, reasoning and agents › Multi-agent systems › normative multi-agent systems
commitments
0.012009
Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009
Concurrent programming › concurrency theory › process calculi
pi-calculus
0.012005
Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005
Concurrent programming › concurrency theory
process calculi
0.012005
Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005

Methods — techniques the papers use, named apart from their topics

protocol composition · 0.2amoeba methodology · 0.2pi-calculus · 0.1
YearPublicationVenuePosition
2024 Data-Prep-Kit: getting your data ready for LLM application development
abstract
Data preparation is the first and a very important step towards any Large Language Model (LLM) development. This paper introduces an easy-to-use, extensible, and scale-flexible open-source data preparation toolkit called Data Prep Kit (DPK). DPK is architected and designed to enable users to scale their data preparation to their needs. With DPK they can prepare data on a local machine or effortlessly scale to run on a cluster with thousands of CPU Cores. DPK comes with a highly scalable, yet extensible set of modules that transform natural language and code data. If the user needs additional transforms, they can be easily developed using extensive DPK support for transform creation. These modules can be used independently or pipelined to perform a series of operations. In this paper, we describe DPK architecture and show its performance from a small scale to a very large number of CPUs. The modules from DPK have been used for the preparation of Granite Models [1] [2]. We believe DPK is a valuable contribution to the AI community to easily prepare data to enhance the performance of their LLM models or to fine-tune models with Retrieval-Augmented Generation (RAG).
Boris Lublinsky, Alexy Roytman, Shivdeep Singh, Constantin Adam, Abdulhamid Adebayo, Sungeun An, Yuan Chi Chang, Xuan-Hong Dang, Nirmit Desai, Michele Dolfi, Hajar Emami-Gohari, Revital Eres, Takuya Goto, Dhiraj Joshi, Yan Koyfman, Mohammad Nassar, Hima Patel, Paramesvaran Selvam, Syed Yousaf Shah, Saptha Surendran, Daiki Tsuzuku, Petros Zerfos, Shahrokh Daijavad
IEEE Big Data10
2020 NeuralFP: Out-of-distribution Detection using Fingerprints of Neural Networks
abstract
Edge devices use neural network models learnt on cloud to predict labels of its data records, which may lead to incorrect predictions especially for records that are different from the data involved in the training process, i.e., out-of-distribution (OOD) records. However, recent efforts in OOD detection either require the retraining of the model or assume the existence of a certain amount of OOD records, thus limiting their application in practice. In this work, we propose a novel OOD detection method (named as NeuralFP) without requiring any access to OOD records, which constructs non-linear fingerprints of neural network models memorizing the information of data observed during training. The key idea of NeuralFP is to exploit the difference in how the neural network model responds to data records in its training set versus data records that are anomalous. Specifically, NeuralFP builds autoencoders for each layer of the neural network model and then carefully analyzes the error distribution of the autocoders in reconstructing the training set to identify OOD records. Through extensive experiments on multiple real-world datasets, we show the effectiveness of NeuralFP in detecting OOD records as well as its advantages over previous approaches. Furthermore, we provide useful guidelines for parameter selection in the practical adoption of NeuralFP.
Wei-Han Lee, Steve Millman, Nirmit Desai, Mudhakar Srivatsa, Changchang Liu
ICPR3
2019 Large-Scale Hybrid ad hoc Network for Mobile Platforms: Challenges and Experiences
abstract
Peer-to-peer (p2p) networks and Mobile ad hoc networks (MANET) have been widely studied. However, a real-world deployment for the masses has remained elusive. Ever-increasing density of mobile devices, especially in urban areas, has given rise to new applications of p2p communication. However, the modern smartphone platforms have limited support for such communications. Further, the issues of battery life, range, and trust remain unaddressed. A key question then is, what kinds of applications can the modern mobile platforms support and what challenges remain? This paper identifies a class of applications and presents a novel center-to-peer-to-peer (c2p2p) architecture called Mesh Network Alerts (MNA) to support them. We describe our experiences in deploying MNA as a real-world system to millions of users for relaying severe weather information along with the challenges faced, and the approaches for addressing them.
Nirmit Desai, Wendy Chong, Heather D. Achilles, Shahrokh Daijavad, Thomas La Porta
SMARTCOMP1
2019 Neural Networks at the Edge
abstract
As neural networks gain importance with several successful applications of them, this paper raises the question of how they can be applied in the context of coalition operations. A key challenge in military coalition operations is that of energy and severe bandwidth constraints. We address this challenge by exploring the use of Deep Neural Networks (DNNs) and splitting them across multiple edge nodes. Further, we explore the idea of using spiking neural networks that can lower the energy consumption significantly. Preliminary results show that both these approaches can have significant impact on coalition operations.
Deboleena Roy, Gopalakrishnan Srinivasan, Priyadarshini Panda, Richard Tomsett, Nirmit Desai, Raghu K. Ganti, Kaushik Roy 0001
SMARTCOMP5
2017 Kinaara: Distributed Discovery and Allocation of Mobile Edge Resources
abstract
Edge computing is an increasingly popular paradigm, wherein computation comes closer to the sources of data. A key challenge for edge computing is discovering and utilizing the heterogeneous resources of the vast number of mobile devices at the network edge. Mobile edge devices hide behind private networks, they are mobile and their owners hesitate to share them due to privacy considerations. We propose Kinaara a framework for discovering and allocating collective resources for edge computing applications. First, Kinaara uses a multi-tier architecture to organize geographically proximal edge devices in clusters and provide their resources via trusted mediator entities. Second, it uses a novel resource representation to name and encode devices in terms of the resources advertised by their users. Third, it uses a novel distributed indexing scheme to organize devices in a proximal cluster on a ring logical structure based on their resource similarity. Our extensive experimental evaluation on a large Wi-Fi mobility dataset of 150K users and 345 APs show that compared to existing approaches Kinaara reduces resource discovery overhead by up to 70% and is robust to device mobility.
Ahmed Salem 0002, Theodoros Salonidis, Nirmit Desai, Tamer Nadeem
MASS3
2012 A Method for Assessing Influence Relationships among KPIs of Service Systems
Yedendra Babu Shrinivasan, Gargi Dasgupta, Nirmit Desai, Jayan Nallacherry
ICSOC3
2011 Event-Based Monitoring of Process Execution Violations
Matthias Weidlich 0001, Holger Ziekow, Jan Mendling, Oliver Günther 0001, Mathias Weske, Nirmit Desai
BPM6
2011 Stochastic Optimization for Adaptive Labor Staffing in Service Systems
Prashanth L. A., H. L. Prasad, Nirmit Desai, Shalabh Bhatnagar, Gargi Dasgupta
ICSOC3
2011 Process compliance analysis based on behavioural profiles
Matthias Weidlich 0001, Artem Polyvyanyy, Nirmit Desai, Jan Mendling, Mathias Weske
Inf. Syst.3
2010 Process Compliance Measurement Based on Behavioural Profiles
Matthias Weidlich 0001, Artem Polyvyanyy, Nirmit Desai, Jan Mendling
CAiSE3
2010 Multidisciplinary Views of Business Contracts
Munindar P. Singh, Nirmit Desai
ICSOC2
2010 What Can Agent-Based Computing Offer Service-Oriented Architectures, and Vice Versa?
Wayne Wobcke, Nirmit Desai, Frank Dignum, Aditya Ghose, Srinivas Padmanabhuni, Biplav Srivastava
PRIMA2
2009 Amoeba: A methodology for modeling and evolving cross-organizational business processes
abstract
Business service engagements involve processes that extend across two or more autonomous organizations. Because of regulatory and competitive reasons, requirements for cross-organizational business processes often evolve in subtle ways. The changes may concern the business transactions supported by a process, the organizational structure of the parties participating in the process, or the contextual policies that apply to the process. Current business process modeling approaches handle such changes in an ad hoc manner, and lack a principled means for determining what needs to be changed and where. Cross-organizational settings exacerbate the shortcomings of traditional approaches because changes in one organization can potentially affect the workings of another. This article describes Amoeba, a methodology for business processes that is based on business protocols . Protocols capture the business meaning of interactions among autonomous parties via commitments. Amoeba includes guidelines for (1) specifying cross-organizational processes using business protocols, and (2) handling the evolution of requirements via a novel application of protocol composition. This article evaluates Amoeba using enhancements of a real-life business scenario of auto-insurance claim processing, and an aerospace case study.
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
ACM Trans. Softw. Eng. Methodol.1
2008 On the Enactability of Business Protocols
Nirmit Desai, Munindar P. Singh
AAAI1
2007 Representing and Reasoning about Commitments in Business Processes
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
AAAI1
2007 A Modular Action Description Language for Protocol Composition
Nirmit Desai, Munindar P. Singh
AAAI1
2007 A Domain-Specific Language for Web APIs and Services Mashups
E. Michael Maximilien, Hernán Wilkinson, Nirmit Desai, Stefan Tai
ICSOC3
2005 Interaction Protocols as Design Abstractions for Business Processes
abstract
Business process modeling and enactment are notoriously complex, especially in open settings, where business partners are autonomous, requirements must be continually finessed, and exceptions frequently arise because of real-world or organizational problems. Traditional approaches, which attempt to capture processes as monolithic flows, have proven inadequate in addressing these challenges. We propose (business) protocols as components for developing business processes. A protocol is an abstract, modular, publishable specification of an interaction among different roles to be played by different participants. When instantiated with the participants' internal policies, protocols yield concrete business processes. Protocols are reusable and refinable, thus simplifying business process design. We show how protocols and their composition are theoretically founded in the phi;-calculus.
Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh
IEEE Trans. Software Eng.1
2004 Protocol-Based Business Process Modeling and Enactment
abstract
Business processes are conventionally modeled as monolithic flows that capture the desired business logic. However, developing process flows is challenging. Because a flow specifies what its participants should do, it restricts the autonomy of its participants, thus limiting their ability to exploit opportunities or accommodate exceptions according to their business preferences. We take a dual perspective wherein business processes are modeled as compositions of (instantiated) business protocols. Each business protocol specifies interactions among its partners; each protocol serves a unique business purpose, e.g., processing a payment or shipping an item. Thus, modularizing a monolithic business process via business protocols allows clear separation of concerns for modeling and enacting the process. We develop an approach in which protocols are compiled into local skeletal flows for each participant that can be fleshed out with local business logic as needed. Such flows are naturally distributed but can be enacted using commercial business flow engines. Thus, our protocol-based approach combines the benefit of improved modeling with simplified implementations.
Nirmit Desai, Munindar P. Singh
ICWS1
2004 Transaction policies for service-oriented computing
Stefan Tai, Thomas A. Mikalsen, Eric Wohlstadter, Nirmit Desai, Isabelle Rouvellou
Data Knowl. Eng.4
2004 Scalable hierarchical locking for distributed systems
Nirmit Desai, Frank Mueller 0001
J. Parallel Distributed Comput.1
2003 Scalable Distributed Concurrency Services for Hierarchical Locking
abstract
Middleware components are becoming increasingly important as applications share computational resources in distributed environments. One of the main challenges in such environments is to achieve scalability of concurrency control. Existing concurrency protocols lack scalability. Scalability enables resource sharing and computing with distributed objects in systems with a large number of nodes. We have designed and implemented a novel, scalable and filly decentralized middleware concurrency control protocol. Our experiments on a Linux cluster indicate that an average number of three messages is required per lock request on a system with as many as 120, which is a logarithmic asymptote. At the same time, the response time for the requests scales linearly with the increase in concurrency level. A comparison to another scalable concurrency protocol shows that our protocol results in significantly superior asymptotic savings in message overhead and response time for large number of nodes. While our approach follows the specification of general CORBA concurrency services for large-scale data and object repositories, the principles are applicable to any distributed concurrency services and transaction models. The results of this work impact scalability for distributed computing facilities ranging from embedded computing with distributed objects over peer-to-peer computing environments to arbitrating accesses in very large database environments.
Nirmit Desai, Frank Mueller 0001
ICDCS1