Ajanta Programmer's Guide

• Table of Contents 

• Frequently asked Questions

Ajanta System Documentation

• Online documentation

Konark Network Monitoring System Documentation

• Network Monitoring System Programmer's Guidebook

• Online Documentation

Secure Context-Aware Distributed System Collaboration Systems

• XML DTD for Activity Specification 

• XML code Course Activity Specification 

• Scalable Transaction Management with Snapshot Isolation on Cloud Data Management Systems, Vinit Padhye and Anand Tripathi, to appear in IEEE International Conference on Cloud Computing, 2012 [Pre-publication version PDF]
• Building Autonomically Scalable Services on Wide-Area Shared Computing Platforms, Vinit Padhye and Anand Tripathi, IEEE International Symposium on Network Computing and Applications, August 2011 [BibTex Entry]
• A Generative Programming Framework for Context-Aware CSCW Applications, Devdatta Kulkarni, Tanvir Ahmed, Anand Tripathi to appear in ACM Transactions on Software Engineering and Methodology (ACM TOSEM). [BibTex Entry]
• Semantics Based Object Caching in Distributed Systems, John Eberhard and Anand Tripathi, In IEEE Transactions on Parallel and Distributed Systems, Volume 21, Number 12, pages 1750-1764, December, 2010. [BibTex Entry]
• Security Policies in Distributed CSCW and Workflow Systems, Tanvir Ahmed and Anand Tripathi.
  In IEEE Transactions on Systems, Man, and Cybernetics -- Part A: Systems and Humans, Volume 40, Number 6, November 2010. [BibTex Entry]
• "A Framework for Programming Robust Context-Aware Application," Devdatta Kulkarni and Anand Tripathi, in IEEE Transactions on Software Engineering}, March 2010. [BibTex Entry]
• "Resource-Aware Migratory Services in Wide-Area Shared Computing Environments" Anand Tripathi, Vinit Padhye, and Devdatta Kulkarni, IEEE Symposium on Reliable Distributed Systems (SRDS'2009). [10 pages] [BibTex Entry]
• "Application-level Recovery Mechanisms for Context-Aware Pervasive Computing," Devdatta Kulkarni and Anand Tripathi, IEEE Symposium on Reliable Distributed Systems (SRDS'2008). [PDF] [10 pages] [BibTex Entry]
• "Context-Aware Role-based Access Control in Pervasive Computing Systems," Devdatta Kulkarni and Anand Tripathi,  in Proceedings of the 13th ACM Symposium on Access control Models and Technologies (SACMAT'2008), pages 113-122, June 2008. [PDF] [10 pages] [BibTex Entry]
• "Building Context-Aware Healthcare Applications using a Generative Programming Framework ," Devdatta Kulkarni and Anand Tripathi. Workshop on Software and Systems for Medical Devices and Services. In conjunction with IEEE Real-Time Systems Symposium (RTSS) 2007. [PDF] [4 pages] 
• Specification and Verification of Security Requirements in a Programming Model for Decentralized CSCW Systems ," Tanvir Ahmed, Anand R. Tripathi, ACM Transactions on Information and System Security (TISSEC), May 2007.[[PDF] [34 pages]    [BibTex Entry]
• "Mechanisms for object caching in distributed applications using Java RMI,"  John Eberhard , Anand Tripathi, Software Practice and Experience,  Volume 37 No. 9, pp. 799-831, November 2006. [PDF] [32 pages]    [BibTex Entry]
• "Generative Programming Approach for Building Pervasive Computing Applications", Devdatta Kulkarni and Anand Tripathi.   First Workshop of Software Engineering of Pervasive Computing Applications, Systems, and Environments (SEPCASE'07), ICSE 2007, Minneapolis [PDF] [4 pages]  [BibTex Entry]
• "Autonomic Configuration and Recovery in a Mobile Agent Based Distributed Event Monitoring System", Anand Tripathi, Devdatta Kulkarni, Harsha Talkad, Muralidhar Koka, Sandeep Karanth, Tanvir Ahmed, and Ivan Osipkov.   Software - Practice Experience. 37(5) (2007) 493-522.
  [PDF] [30 pages]  [BibTex Entry]
• "Exception Handling in CSCW Applications in Pervasive Computing Environments", Anand Tripathi, Devdatta Kulkarni and Tanvir Ahmed.   Advanced Topics in Exception Handling Techniques. Volume 4119., Springer LNCS (2006) 161-180 [PDF] [20 pages]  [BibTex Entry]
• "Object-Based Commutativity Analysis for Real-Time Applications," John Eberhard and Anand Tripathi, Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), 2005, Sedona Arizona. [BibTex Entry]
• "Policy-Driven Configuration and Management of Agent Based Distributed Systems", Anand Tripathi, Devdatta Kulkarni and Tanvir Ahmed.   In SELMAS'05 at ICSE'05 [PDF] [7 pages]  [BibTex Entry]
• "A Specification Model for Context-based Collaborative Applications", Anand Tripathi, Devdatta Kulkarni and Tanvir Ahmed.   In Pervasive and Mobile Computing (PMC) Journal, Vol. 1, Issue 1, Pg: 21-42 [ PDF ] [22 pages]  [BibTex Entry]
• "The Guardian Model and Primitives for Exception Handling in Distributed Systems," Robert Miller and Anand Tripathi, in IEEE Transactions on Software Engineering, Volume 30 ,  Issue 12, Pages: 1008 - 1022    (December 2004). [BibTex Entry]
• "Robustness and Security in a Mobile-Agent based Network Monitoring System," Anand Tripathi, Muralidhar Koka, Sandeep Karanth, Ivan Osipkov, Harsha Talkad, Tanvir Ahmed, David Johnson and Scott Dier, Proceedings of the International Conference on Autonomic Computing (ICAC-04) },  pages 320-321, May 2004.   [PDF] [8 pages] [BibTex Entry]
• "Context-Based Secure Resource Access in Pervasive Computing Environments", by Anand Tripathi, Tanvir Ahmed, Devdatta Kulkarni, Richa Kumar, and Komal Kashiramka.   In 1st IEEE International Workshop on Pervasive Computing and Communications Security(IEEE PerSec'04)
  [PDF] [5 pages]  [BibTex Entry]
• "Exploiting Commutativity for Distributed Object Caching", by John Eberhard and Anand R. Tripathi.   Technical Report [PDF] [12 pages] 
• "Static Verification of Security Requirements in Role Based CSCW Systems", by Tanvir Ahmed and Anand R. Tripathi.   In 8th ACM Symposium on Access Control Models and Technologies (SACMAT 2003), 196--203, June, 2003. [PDF] [8 pages]  [BibTex Entry]
• "Specification of Secure Distributed Collaboration Systems", by Anand Tripathi, Tanvir Ahmed, and Richa Kumar.   In Proceedings of International Symposium on Autonomous Distributed Systems (ISADS 2003), 149--156, April 2003. [PDF] [8 pages]  [BibTex Entry]
• "Secure Multi-Agent Coordination in a Network Monitoring System",, by Anand R. Tripathi, Muralidhar Koka, Sandeep Karanth, Abhijit Pathak, and Tanvir Ahmed. Software Engineering for Large-Scale Multi-Agent Systems, 2002 (SELMAS 2002), 251- 266, Springer, LNCS 2603, 2003.
  [PDF] [16 pages]  [BibTex Entry]
• "Active Monitoring of Network Systems using Mobile Agents", by Anand Tripathi, Tanvir Ahmed, Sumedh Pathak, Abhijit Pathak, Megan Carney, Murlidhar Koka, and Paul Dokas.   In proceedings of Networks 2002, a joint conference of ICWLHN 2002 and ICN 2002, 269-280, 2002. [PDF] [12 pages]  [BibTex Entry]
• "Design of a Policy-Driven Middleware for Secure Distributed Collaboration", by Anand Tripathi, Tanvir Ahmed, Richa Kumar, Shremattie Jaman.  In proceedings of the International Conference on Distributed Computing Systems (ICDCS-2002), 393 - 400, 2002. [PDF] [8 pages]  [BibTex Entry]
• "Paradigms for Mobile Agent-Based Active Monitoring", by Anand Tripathi, Tanvir Ahmed, Sumedh Pathak, Megan Carney, Paul Dokas. IEEE Network Operation and Management Symposium (NOMS-2002), 65-78, 2002. [PDF] [12 pages]  [BibTex Entry]
• "A Coordination Model for Secure Collaboration",  by Anand Tripathi, Tanvir Ahmed, Richa Kumar, Shremattie Jaman.  Workshop on Internet Process Coordination and Ubiquitous Computing, Dec 2001, 77-95, CRC Press, 2003. [PDF] [20 pages]  [BibTex Entry]
• "Effective Object Caching for Distributed Java RMI Applications", by John Eberhard,  Anand Tripathi. Middleware 2001. [PDF] [22 pages]  [BibTex Entry]
• "Experiences  and  Future Challenges in Mobile  Agent Programming",  by Anand Tripathi, Tanvir Ahmed, and Neeran Karnik. Microprocessor and Microsystems 2001. [PDF]  [Postscript]  [8 pages] [BibTex Entry]
• "Security in the Ajanta Mobile Agent System",  by Neeran Karnik, Anand Tripathi. Software - Practice and Experience, January 2001. [Postscript] [28 pages]  [BibTex Entry]
• "Design of the Ajanta System for Mobile Agent Programming" , by Anand R. Tripathi, Neeran M. Karnik, Tanvir Ahmed, Ram D. Singh, Arvind Prakash, Vineet Kakani, Manish K. Vora, Mukta Pathak. Journal of Systems and Software, May 2002. [PDF] [23 pages]  [BibTex Entry]
• "Distributed  Collaborations using Network Mobile Agents",  by Anand Tripathi, Tanvir Ahmed, Vineet Kakani, Shremattie Jaman. 
  2nd International Symposium on Agent Systems and Applcations/4th International Symposium on Mobile Agents, September 2000. [Postscript] [12 pages]  [BibTex Entry]
• "A Security Architecture for Mobile Agents in Ajanta", by Anand Tripathi, Neeran Karnik. Proceedings of the International Conference on Distributed Computing Systems, April 2000.
  [Postscript] [8 pages]  [BibTex Entry]
• "Delegation of  Privileges to Mobile Agents in Ajanta",  by Anand Tripathi, Neeran Karnik.  First International Conference on  Internet Computing, June  2000. [PDF] [7 pages] [BibTex Entry]
• "Mobile Agent Programming in Ajanta", by Anand Tripathi, Neeran Karnik, Manish Vora, Tanvir Ahmed, Ram Singh. In Proceedings of the 19th International Conference on Distributed Computing Systems (ICDCS '99)  [Postscript] [8 pages]  [BibTex Entry]
• "Protected Resource Access for Mobile Agent-based Distributed Computing", by Anand Tripathi, Neeran Karnik. In Proceedings of the ICPP workshop on Wireless Networking and Mobile Computing, Minneapolis, August 1998. [Postscript]  [BibTex Entry]
• "Design Issues in Mobile Agent Programming Systems", by Neeran Karnik, Anand Tripathi. IEEE Concurrency, July-Sep 1998. [Postscript of draft version]  [BibTex Entry]
• "Agent Server Architecture for the Ajanta Mobile-Agent System", by Neeran Karnik, Anand Tripathi. In Proceedings of the 1998 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Las Vegas, July 1998.
  [Postscript]  [BibTex Entry]

• Scalable Transaction Management with Serializable Snapshot Isolation on HBase
  Vinit Padhye, Anand Tripathi, Technical Report 12-004, Department of Computer Science & Engineering, University of Minnesota, Twin Cities
• Autonomic Mechanisms for Service Scaling in Wide-Area Shared Computing Environments, Vinit Padhye and Anand Tripathi, Technical Report  [PDF] [BibTex Entry]
• Characterization of Resource Availability on PlanetLab Nodes for Executing Migratable Tasks, Vinit Padhye and Anand Tripathi, Technical Report  [PDF] [BibTex Entry]
• Node Selection for Placement of Migratory Tasks in Wide-Area Shared Computing Environments, Vinit Padhye and Devdatta Kulkarni and Anand Tripathi, Technical Report  [PDF] [BibTex Entry]
• "Policy-Based Design of Secure Distributed Collaboration Systems" Ph.D. dissertation by Tanvir Ahmed [ PDF ] 
• "Towards a Minimal Count of Participants for Finite State Verification of a Role Based Model" by Tanvir Ahmed and Anand Tripathi
  [PDF] [14 pages] 
• "Secure Management of Distributed Collaboration Systems", by Tanvir Ahmed, Richa Kumar, and Anand Tripathi.   Technical Report, Dept. of Computer and Information Science, University of Minnesota, Aug 2002.
  [PDF] [8 pages]  [BibTex Entry]
• "Design of a Dynamically Extensible System for Network Monitoring using Mobile Agents", by Anand R. Tripathi, Tanvir Ahmed, Sumedh Pathak, Megan Carney. Technical Report, Department of Computer Science, University of Minnesota, 2001.
  [PDF ] [11 pages]  [BibTex Entry]
• "Implementing Distributed Workflow Systems from XML Specifications,"   by Anand Tripathi, Tanvir Ahmed, Vineet Kakani,  Shremattie Jaman. Technical Report, Department of Computer Science, University of Minnesota, May 2000.
  [ Postscript] [9 pages] [BibTex Entry]
• "Development of Mobile Agent Applications with Ajanta", by Anand Tripathi, Neeran M. Karnik, Ram D. Singh, Tanvir Ahmed, John Eberhard, Arvind Prakash. Technical Report, Department of Computer Science, University of Minnesota.
  [ Postscript] [10 pages] [BibTex Entry]
• "Security in Mobile Agent Systems", Ph.D. dissertation by Neeran Karnik [ Postscript ] 
• "Mobile Agent Programming Techniques in Ajanta", Masters Plan B report by Manish Vora [Postscript] 
  
• "Uniform Resource Name (URN) in Ajanta, A Mobile Object Environment", M.S. Plan B report by Tanvir Ahmed[Postscript] 
  
• "Development of Distributed Systems Using Mobile Agents in Ajanta", M.S. Plan B report by Ram D. Singh[Postscript] 
  
• "Development of a Mobile Agents Based Websearch in Ajanta", M.S. Plan B report by Arvind Prakash[Postscript] 
  
• "Implementing Distributed Workflow Systems from XML Specifications", M.S. Plan B report by Vineet Kakani[Postscript] 
  
• "Protocols for Secure Interactions in Distributed Collaboration systems", M.S. Plan B report by Richa Kumar[Postscript] 
  
• "Security And Robustness in an Agent-based network monitoring system", M.S. Plan B report by Muralidhar Koka[Postscript] 
  
• "File Integrity Checking using mobile-agents", M.S. Plan B report by Abhijit Pathak[Word Document] 
  
• "Wireless Network Monitoring", M.S. Plan B report by Sandeep Karanth[Postscript] 
  
• "Robustness by Self-Monitoring in Konark", M.S. Plan B report by Harsha Talkad[PDF]  [Postscript] 
  

• Ajanta Overview (PowerPoint) - "Mobile Agent Programming in Ajanta" 
• Neeran Karnik's Ph.D. defense - "Security in Mobile Agent Systems" 
• Tanvir Ahmed's M.S. Plan B Presentation - "Uniform Resource Name (URN) In Ajanta, A Mobile Object Environment" 
• Ram Dular Singh's M.S. Plan B Presentation - "Development of Distributed Systems using Mobile Agents in Ajanta" 
• Arvind Prakash's M.S. Plan B Presentation - "Development of a Mobile Agent Based Web Search System in Ajanta" 
• Vineet Kakani's M.S. Plan B Presentation - "Implementing Distributed Workflow Systems from XML Specifications" 
• Richa Kumar's M.S. Plan B Presentation - "Protocols for Secure Interactions in Distributed Collaboration Systems" 
• Muralidhar Koka's M.S. Plan B Presentation - "Security and Robustness in an agent-based network monitoring system" 
• Abhijit Pathak's M.S. Plan B Presentation - "File Integrity Checking using mobile-agents" 
• Sandeep Karanth's M.S. Plan B Presentation - "Wireless Network Monitoring " 
• Harsha Talkad's M.S. Plan B Presentation - "Robustness by Self-Monitoring in Konark "