| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Devdatta Kulkarni, Tanvir Ahmed, Anand Tripathi |
A Generative Programming Framework for Context-Aware CSCW Applications.  |
ACM Trans. Softw. Eng. Methodol.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinit Padhye, Anand Tripathi |
Building Autonomically Scalable Services on Wide-Area Shared Computing Platforms.  |
NCA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Devdatta Kulkarni, Anand R. Tripathi |
A Framework for Programming Robust Context-Aware Applications.  |
IEEE Trans. Software Eng.  |
2010 |
DBLP DOI BibTeX RDF |
fault tolerance, robustness, design methodology, Exception handling, context-aware applications |
| 1 | Tanvir Ahmed, Anand R. Tripathi |
Security Policies in Distributed CSCW and Workflow Systems.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Eberhard, Anand Tripathi |
Semantics-Based Object Caching in Distributed Systems.  |
IEEE Trans. Parallel Distrib. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
specifying and verifying and reasoning about programs, logics and meanings of programs, components, programming languages, distributed objects, containers, theory of computation, Pre and postconditions, software/software engineering, language constructs and features |
| 1 | Anand Tripathi, Vinit Padhye, Devdatta Kulkarni |
Resource-Aware Migratory Services in Wide-Area Shared Computing Environments.  |
SRDS  |
2009 |
DBLP DOI BibTeX RDF |
Resilient Services, Mobile Agents, Service Availability, Service Migration, Service Replication |
| 1 | Devdatta Kulkarni, Anand Tripathi |
Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing.  |
SRDS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Devdatta Kulkarni, Anand Tripathi |
Context-aware role-based access control in pervasive computing systems.  |
SACMAT  |
2008 |
DBLP DOI BibTeX RDF |
context-based access control, pervasive computing, RBAC, context-aware computing |
| 1 | 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. Exper.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanvir Ahmed, Anand R. Tripathi |
Specification and verification of security requirements in a programming model for decentralized CSCW systems.  |
ACM Trans. Inf. Syst. Secur.  |
2007 |
DBLP DOI BibTeX RDF |
finite state-based model checking, methodology for access-control policy design, role-based access control, Security policy specification |
| 1 | John Eberhard, Anand Tripathi |
Mechanisms for object caching in distributed applications using Java RMI.  |
Softw., Pract. Exper.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Tripathi, Roy H. Campbell, Liviu Iftode, Paolo Bellavista |
Workshop Summary - ICSE Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE).  |
ICSE Companion  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed |
Exception Handling in CSCW Applications in Pervasive Computing Environments.  |
Advanced Topics in Exception Handling Techniques  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Dony, Jørgen Lindskov Knudsen, Alexander B. Romanovsky, Anand Tripathi (eds.) |
Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops)  |
Advanced Topics in Exception Handling Techniques  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed |
A specification model for context-based collaborative applications.  |
Pervasive and Mobile Computing  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed |
Policy-Driven Configuration and Management of Agent Based Distributed Systems.  |
SELMAS ![In: Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of SELMAS 2005]., pp. 1-16, 2005, Springer, 3-540-33580-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Tripathi, Liviu Iftode, Klara Nahrstedt, Paddy Nixon |
Guest editorial.  |
Pervasive and Mobile Computing  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Tripathi, Devdatta Kulkarni, Tanvir Ahmed |
Policy-driven configuration and management of agent based distributed systems.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Eberhard, Anand Tripathi |
Object-Based Commutativity Analysis for Real-Time Applications.  |
WORDS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Miller 0002, Anand R. Tripathi |
The Guardian Model and Primitives for Exception Handling in Distributed Systems.  |
IEEE Trans. Software Eng.  |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, Concurrent programming, distributed programming |
| 1 | Anand R. Tripathi, Tanvir Ahmed, Devdatta Kulkarni, Richa Kumar, Komal Kashiramka |
Context-Based Secure Resource Access in Pervasive Computing Environments.  |
PerCom Workshops  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanvir Ahmed, Anand R. Tripathi |
Static verification of security requirements in role based CSCW systems.  |
SACMAT  |
2003 |
DBLP DOI BibTeX RDF |
finite-state based model checking, methodology for access control policy design, role based access control, security policy specification |
| 1 | Anand R. Tripathi, Tanvir Ahmed, Richa Kumar |
Specification of Secure Distributed Collaboration Systems.  |
ISADS  |
2003 |
DBLP DOI BibTeX RDF |
Role based access control, Distributed collaboration, Security policy specification |
| 1 | Alexander B. Romanovsky, Christophe Dony, Anand Tripathi, Jørgen Lindskov Knudsen |
Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms.  |
ECOOP Workshops  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
Journal of Systems and Software  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Miller 0002, Anand R. Tripathi |
The Guardian Model for Exception Handling in Distributed Systems.  |
SRDS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Muralidhar Koka, Sandeep Karanth, Abhijit Pathak, Tanvir Ahmed |
Secure Multi-agent Coordination in a Network Monitoring System.  |
SELMAS ![In: Software Engineering for Large-Scale Multi-Agent Systems, Research Issues and Practical Applications [the book is a result of SELMAS 2002], pp. 251-266, 2002, Springer, 3-540-08772-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Monitoring system security, Multi-agent systems, Mobile agents, Network monitoring, Mobile code, Cooperating agents |
| 1 | Anand R. Tripathi, Tanvir Ahmed, Richa Kumar, Shremattie Jaman |
Design of a Policy-Driven Middleware for Secure Distributed Collaboration. (PDF / PS)  |
ICDCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Tripathi |
Challenges designing next-generation middleware systems.  |
Commun. ACM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Tripathi, Tanvir Ahmed, Sumedh Pathak, Megan Carney, Paul Dokas |
Paradigms for mobile agent based active monitoring of network systems.  |
NOMS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Tanvir Ahmed, Neeran M. Karnik |
Experiences and future challenges in mobile agent programming.  |
Microprocessors and Microsystems  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeran M. Karnik, Anand R. Tripathi |
Security in the Ajanta mobile agent system.  |
Softw., Pract. Exper.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi (eds.) |
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)  |
Advances in Exception Handling Techniques  |
2001 |
DBLP BibTeX RDF |
|
| 1 | John Eberhard, Anand Tripathi |
Efficient Object Caching for Distributed Java RMI Applications.  |
Middleware  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Neeran M. Karnik |
Delegation of Privileges to Mobile Agents in Ajanta.  |
International Conference on Internet Computing  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anand R. Tripathi, Tanvir Ahmed, Vineet Kakani, Shremattie Jaman |
Distributed Collaborations Using Network Mobile Agents.  |
ASA/MA  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Robert Miller 0002 |
Exception Handling in Agent-Oriented Systems.  |
Advances in Exception Handling Techniques  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeran M. Karnik, Anand R. Tripathi |
A Security Architecture for Mobile Agents in Ajanta.  |
ICDCS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi |
Guest Editors' Introduction-Current Trends in Exception Handling.  |
IEEE Trans. Software Eng.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi |
Guest Editors' Introduction - Current Trends in Exception Handling.  |
IEEE Trans. Software Eng.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi |
Exception Handling in Object Oriented Systems.  |
ECOOP Workshops  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anand R. Tripathi, Neeran M. Karnik, Manish K. Vora, Tanvir Ahmed, Ram D. Singh |
Mobile Agent Programming in Ajanta.  |
ICDCS  |
1999 |
DBLP DOI BibTeX RDF |
Internet agents, Security, Distributed Programming, Mobile objects |
| 1 | Anand Tripathi |
Education: Keeping up with the information technology revolution. (PDF / PS)  |
IEEE Concurrency  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishna M. Kavi, James C. Browne, Anand Tripathi |
Computer Systems Research: The Pressure Is On.  |
IEEE Computer  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Anand R. Tripathi, Terence Noonan |
Design of a Remote Procedure Call System for Object-Oriented Distributed Programming.  |
Softw., Pract. Exper.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeran M. Karnik, Anand R. Tripathi |
Design issues in mobile agent programming systems.  |
IEEE Concurrency  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Azadegan, Anand R. Tripathi |
A parallel join algorithm for SIMD architectures.  |
Journal of Systems and Software  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Miller 0002, Anand R. Tripathi |
Issues with Exception Handling in Object-Oriented Systems.  |
ECOOP  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald O. Hamnes, Anand Tripathi |
A Comparative Study of Adaptive Risk vs. Adaptive Aggressiveness Control in Parallel and Distributed Simulation.  |
Annual Simulation Symposium  |
1996 |
DBLP DOI BibTeX RDF |
parallel and distributed discrete event simulation, closed queueing systems, time warp, adaptive protocol |
| 1 | Anand R. Tripathi, Neeran M. Karnik |
Trends in multiprocessor and distributed operating systems designs.  |
The Journal of Supercomputing  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald O. Hamnes, Anand Tripathi |
Feedback Based Adaptive Risk Control Protocols in Parallel Discrete Event Simulation.  |
ICPP  |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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.  |
Concurrency - Practice and Experience  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Day, Anand R. Tripathi |
A Comparative Study of Topological Properties of Hypercubes and Star Graphs.  |
IEEE Trans. Parallel Distrib. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
networktopology, interconnection network topologies, comparativestudy, parallel paths, asymptotically balanced, balanced spanning trees, graph theory, graph theory, hypercubes, multiprocessor interconnection networks, hypercube networks, spanning trees, star graphs, greedy |
| 1 | Donald O. Hamnes, Anand Tripathi |
Evaluation of a Local Adaptive Protocol for Distributed Discrete Event Simulation.  |
ICPP  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Khaled Day, Anand R. Tripathi |
Unidirectional Star Graphs.  |
Inf. Process. Lett.  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Day, Anand R. Tripathi |
Embedding of Cycles in Arrangement Graphs.  |
IEEE Trans. Computers  |
1993 |
DBLP DOI BibTeX RDF |
cycles embeddings, large multiprocessor systems, node disjoint cycles, multiprocessor interconnection networks, Hamiltonian cycles, interconnection topology, arrangement graphs |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Khaled Day, Anand R. Tripathi |
Embedding Grids, Hypercubes, and Trees in Arrangement Graphs.  |
ICPP  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Khaled Day, Anand R. Tripathi |
Arrangement Graphs: A Class of Generalized Star Graphs.  |
Inf. Process. Lett.  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Terence Noonan |
RPC-level support for object-oriented distributed programming.  |
ACM SIGOPS European Workshop  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehmet Aksit, Jan Willem Dijkstra, Anand R. Tripathi |
Atomic Delegation: Object-Oriented Transactions.  |
IEEE Software  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay V. Raghavan, Anand R. Tripathi |
Sequential Diagnosability is Co-NP Complete.  |
IEEE Trans. Computers  |
1991 |
DBLP DOI BibTeX RDF |
graph theory model, weighted model, co-NP complete, sequential diagnosability number, BGM models, computational complexity, graph theory, fault diagnosis, fault tolerant computing, software reliability, planar graphs, decision problem, PMC model |
| 1 | Vijay V. Raghavan, Anand R. Tripathi |
Improved Diagnosability Algorithms.  |
IEEE Trans. Computers  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Azadegan, Anand R. Tripathi |
Parallel Join Algorithms for SIMD Models.  |
ICPP  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Anand Tripathi, Zine Attia El Hili |
Synchronization of Nested Atomic Actions.  |
Softw., Pract. Exper.  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand R. Tripathi, Eric Berge, Mehmet Aksit |
An Implementation of the Object-oriented Concurrent Programming Language SINA.  |
Softw., Pract. Exper.  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Tripathi |
An Overview of the Nexus Distributed Operating System Design.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
interobject communication, object access, Nexus distributed operating system design, fault-tolerance techniques, Nexus programming environment, multiple implementations, remote-procedure-call paradigm, application-controlled checkpointing, parallel remote procedure calls, Nexus kernel, data structures, object-oriented programming, object-oriented programming, fault tolerant computing, distributed processing, programming environments, inheritance, abstract data types, operating systems (computers), restart, atomic actions, computer communications software, experimental research, location transparency |
| 1 | Mehmet Aksit, Anand R. Tripathi |
Data Abstraction Mechanisms in SINA/ST.  |
OOPSLA  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 Conference on Computer Science  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | James C. Browne, Anand Tripathi, S. Fedak, Ashok K. Adiga, R. Kipur |
A language for specification and programming of reconfigurable parallel computation structures.  |
ICPP  |
1982 |
DBLP BibTeX RDF |
|
| 1 | Anand R. Tripathi, G. Jack Lipovski |
Packet Switching in Banyan Networks.  |
ISCA  |
1979 |
DBLP DOI BibTeX RDF |
|