Anand R. Tripathi

Publication Activity (10 Years)

Years Active: 1979-2016
Publications (10 Years): 1

Top Topics

Transaction Management

Correctness Criterion

Computing Platform

Top Venues

IEEE Trans. Serv. Comput.

Publications

Anand R. Tripathi, Gowtham Rajappan
Scalable Transaction Management for Partially Replicated Data in Cloud Computing Environments. CLOUD (2016)
Vinit Padhye, Anand R. Tripathi
Scalable Transaction Management with Snapshot Isolation for NoSQL Data Storage Systems. IEEE Trans. Serv. Comput. 8 (1) (2015)
Vinit Padhye, Gowtham Rajappan, Anand R. Tripathi
Transaction Management Using Causal Snapshot Isolation in Partially Replicated Databases. SRDS (2014)
Anand R. Tripathi, Vinit Padhye, Tara Sasank Sunkara
Beehive: A Framework for Graph Data Analytics on Cloud Computing Platforms. ICPP Workshops (2014)
Vinit Padhye, Anand R. Tripathi
Mechanisms for building autonomically scalable services on cooperatively shared computing platforms. Softw. Pract. Exp. 44 (10) (2014)
Devdatta Kulkarni, Anand R. Tripathi
A Framework for Programming Robust Context-Aware Applications. IEEE Trans. Software Eng. 36 (2) (2010)
Tanvir Ahmed, Anand R. Tripathi
Security Policies in Distributed CSCW and Workflow Systems. IEEE Trans. Syst. Man Cybern. Part A 40 (6) (2010)
Tanvir Ahmed, Anand R. Tripathi
Specification and verification of security requirements in a programming model for decentralized CSCW systems. ACM Trans. Inf. Syst. Secur. 10 (2) (2007)
Anand R. Tripathi, Devdatta Kulkarni, Harsha Talkad, Muralidhar Koka, Sandeep Karanth, Tanvir Ahmed, Ivan Osipkov
Autonomic configuration and recovery in a mobile agent-based distributed event monitoring system. Softw. Pract. Exp. 37 (5) (2007)
Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed
Exception Handling in CSCW Applications in Pervasive Computing Environments. Advanced Topics in Exception Handling Techniques (2006)
Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed
Policy-Driven Configuration and Management of Agent Based Distributed Systems. SELMAS (LNCS) (2005)
Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed
A specification model for context-based collaborative applications. Pervasive Mob. Comput. 1 (1) (2005)
Anand R. Tripathi, Tanvir Ahmed, Devdatta Kulkarni, Richa Kumar, Komal Kashiramka
Context-Based Secure Resource Access in Pervasive Computing Environments. PerCom Workshops (2004)
Anand R. Tripathi, Muralidhar Koka, Sandeep Karanth, Ivan Osipkov, Harsha Talkad, Tanvir Ahmed, D. Johnson, S. Dier
Robustness and Security in a Mobile-Agent Based Network Monitoring System. ICAC (2004)
Robert Miller, Anand R. Tripathi
The Guardian Model and Primitives for Exception Handling in Distributed Systems. IEEE Trans. Software Eng. 30 (12) (2004)
Tanvir Ahmed, Anand R. Tripathi
Static verification of security requirements in role based CSCW systems. SACMAT (2003)
Anand R. Tripathi, Tanvir Ahmed, Richa Kumar
Specification of Secure Distributed Collaboration Systems. ISADS (2003)
Anand R. Tripathi, Muralidhar Koka, Sandeep Karanth, Abhijit Pathak, Tanvir Ahmed
Secure Multi-agent Coordination in a Network Monitoring System. SELMAS (2002)
Robert Miller, Anand R. Tripathi
The Guardian Model for Exception Handling in Distributed Systems. SRDS (2002)
Anand R. Tripathi, Neeran M. Karnik, Tanvir Ahmed, Ram D. Singh, Arvind Prakash, Vineet Kakani, Manish K. Vora, Mukta Pathak
Design of the Ajanta system for mobile agent programming. J. Syst. Softw. 62 (2) (2002)
Anand R. Tripathi, Tanvir Ahmed, Richa Kumar, Shremattie Jaman
Design of a Policy-Driven Middleware for Secure Distributed Collaboration. ICDCS (2002)
Anand R. Tripathi, Tanvir Ahmed, Neeran M. Karnik
Experiences and future challenges in mobile agent programming. Microprocess. Microsystems 25 (2) (2001)
Neeran M. Karnik, Anand R. Tripathi
Security in the Ajanta mobile agent system. Softw. Pract. Exp. 31 (4) (2001)
Anand R. Tripathi, Robert Miller
Exception Handling in Agent-Oriented Systems. Advances in Exception Handling Techniques (2000)
Neeran M. Karnik, Anand R. Tripathi
A Security Architecture for Mobile Agents in Ajanta. ICDCS (2000)
Anand R. Tripathi, Neeran M. Karnik
Delegation of Privileges to Mobile Agents in Ajanta. International Conference on Internet Computing (2000)
Anand R. Tripathi, Tanvir Ahmed, Vineet Kakani, Shremattie Jaman
Distributed Collaborations Using Network Mobile Agents. ASA/MA (2000)
Anand R. Tripathi, Neeran M. Karnik, Manish K. Vora, Tanvir Ahmed, Ram D. Singh
Mobile Agent Programming in Ajanta. ICDCS (1999)
Anand R. Tripathi, Terence Noonan
Design of a Remote Procedure Call System for Object-Oriented Distributed Programming. Softw. Pract. Exp. 28 (1) (1998)
Neeran M. Karnik, Anand R. Tripathi
Design issues in mobile agent programming systems. IEEE Concurr. 6 (3) (1998)
Robert Miller, Anand R. Tripathi
Issues with Exception Handling in Object-Oriented Systems. ECOOP (1997)
Shiva Azadegan, Anand R. Tripathi
A parallel join algorithm for SIMD architectures. J. Syst. Softw. 39 (3) (1997)
Anand R. Tripathi, Neeran M. Karnik
Trends in multiprocessor and distributed operating systems designs. J. Supercomput. 9 (1-2) (1995)
Khaled Day, Anand R. Tripathi
A Comparative Study of Topological Properties of Hypercubes and Star Graphs. IEEE Trans. Parallel Distributed Syst. 5 (1) (1994)
Anand R. Tripathi, Neeran M. Karnik, Surya P. Koneru, Clifton Nock, Renu Tewari, Khaled Day, Terence Noonan
Configuration management in the Nexus distributed operating system. Concurr. Pract. Exp. 6 (4) (1994)
Khaled Day, Anand R. Tripathi
Unidirectional Star Graphs. Inf. Process. Lett. 45 (3) (1993)
Khaled Day, Anand R. Tripathi
Embedding of Cycles in Arrangement Graphs. IEEE Trans. Computers 42 (8) (1993)
Khaled Day, Anand R. Tripathi
Embedding Grids, Hypercubes, and Trees in Arrangement Graphs. ICPP (3) (1993)
Anand R. Tripathi, Surya P. Koneru, Clifton Nock, Renu Tewari, Neeran M. Karnik, Vijay Bandi, Khaled Day, Terence Noonan
Reliable Management of Distributed Computations in Nexus. HPDC (1993)
Anand R. Tripathi, Terence Noonan
RPC-level support for object-oriented distributed programming. ACM SIGOPS European Workshop (1992)
Khaled Day, Anand R. Tripathi
Arrangement Graphs: A Class of Generalized Star Graphs. Inf. Process. Lett. 42 (5) (1992)
Mehmet Aksit, Jan Willem Dijkstra, Anand R. Tripathi
Atomic Delegation: Object-Oriented Transactions. IEEE Softw. 8 (2) (1991)
Shiva Azadegan, Anand R. Tripathi
Parallel Join Algorithms for SIMD Models. ICPP (3) (1991)
Vijay Raghavan, Anand R. Tripathi
Improved Diagnosability Algorithms. IEEE Trans. Computers 40 (2) (1991)
Vijay Raghavan, Anand R. Tripathi
Sequential Diagnosability is Co-NP Complete. IEEE Trans. Computers 40 (5) (1991)
Anand R. Tripathi, Eric Berge, Mehmet Aksit
An Implementation of the Object-oriented Concurrent Programming Language SINA. Softw. Pract. Exp. 19 (3) (1989)
Mehmet Aksit, Anand R. Tripathi
Data Abstraction Mechanisms in SINA/ST. OOPSLA (1988)
Annette S. Palmer, James C. Browne, Jonathan M. Silverman, Anand R. Tripathi, Rajkumar Velpuri
A Performance Model of a Fault-Tolerant Distributed System for Evaluating Reliability Mechanisms. Int. CMG Conference (1985)
James C. Browne, James E. Dutton, Vincent Fernandes, Annette S. Palmer, Jonathan M. Silverman, Anand R. Tripathi, Pong-Sheng Wang
Zeus: An object-oriented distributed operating system for reliable applications. ACM Annual Conference (1984)
Anand R. Tripathi, Pong-Sheng Wang
An Object-Oriented Design Model for Reliable Distributed Systems. Symposium on Reliability in Distributed Software and Database Systems (1983)
Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne
HAL/S/V: a verifiable subset for HAL/S. ACM SIGPLAN Notices 16 (3) (1981)
Anand R. Tripathi, William D. Young, Donald I. Good
A preliminary evaluation of verifiability in Ada. ACM Annual Conference (1980)
Anand R. Tripathi, G. Jack Lipovski
Packet Switching in Banyan Networks. ISCA (1979)