ISIS Publications

Export 1047 results:
Sort by: Author Title [ Type  (Desc)] Year
Report
Nordstrom, G., and A. Ledeczi, "Formalizing the Specification of Graphical Modeling Languages", ISIS-00-200: Institute for Software Integrated Systems, 2000.  Download: Nordstrom_GG_0_0_2000_Formalizin.pdf (160.48 KB)
Kusy, B., and S. Abdelwahed, FTSP Protocol Verification using SPIN, : Institute for Software Integrated Systems, May, 2006.  Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
Agrawal, A., G. Karsai, and F. Shi, Graph Transformations on Domain-Specific Models, : Institute for Software Integrated Systems, November, 2003.  Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 KB)
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
Eames, B., S. Neema, J. Scott, and T. Bapty, "High-Level Functional Simulation for Model-Based Embedded System Synthesis", ISIS-01-202: Institute for Software Integrated Systems, February, 2001.  Download: Eames_BK_2_0_2001_High_Level.PDF (724.47 KB)
Monceaux, W. P., D. E. Evans, K. N. Rappold, C. D. Butler, S. Abdelwahed, R. Mehrotra, and A. Dubey, "Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services", DoD High Performance Computing Modernization Program Users Group Conference: DTIC Document, pp. 422, 2012.
Shekhar, S., A. Chhokra, A. Bhattacharjee, G. Aupy, and A. Gokhale, "INDICES: Exploiting Edge Resources for Performance-aware Cloud-hosted Services", Technical Report, Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017.  Download: indices.pdf (649.09 KB)
Bapty, T., J. Gray, and S. Neema, Initial PCES PI Meeting: Constraint-Based Embedded Program Composition, , Colorado Springs, CO, Institute for Software Integrated Systems, July, 2000.  Download: Bapty_T_7_31_2000_Initial_PI.ppt (314.5 KB)
Tuck, J., and T. Bapty, "Interface Refinement and Synthesis for Component-Based Design", ISIS-01-200: Institute for Software Integrated Systems, January, 2001.  Download: Tuck_JM_1_30_2001_Interface_.pdf (127.34 KB)
Agrawal, A., G. Karsai, and F. Shi, Interpreter Writing using Graph Transformations, : Institute for Software Integrated Systems, 2003.  Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Kinnebrew, J. S., G. Biswas, B. Sulcer, and R. Taylor, "Investigating Self-Regulated Learning in Teachable Agent Environments", International Handbook of Metacognition and Learning Technologies, Berlin, Germany: Springer, 2011.
Sztipanovits, J., ISIS Overview 2005, , ISIS - Vanderbilt, Institute for Software Integrated Systems, January, 2006.  Download: Sztipanovi_J_1_13_2006_ISIS_Overv.ppt (3.56 MB)
Balasubramanian, D., Z. Zhang, D. McDermet, and G. Karsai, Janalyzer: A Static Analysis Tool for Java Bytecode, , Nashville, Institute for Software Integrated Systems, 08/2017.  Download: main.pdf (261.01 KB)
Brophy, S., D. Schwartz, G. Biswas, and J. Bransford, "Learning through programmable agents", Paper presented at Workshop on Pedagogical Agents, San Antonio, TX, ITS, 1998.
Kottenstette, N., and N. Chopra, "Lm2-stable digital-control networks for multiple continuous passive plants", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-14, 04/2009.  Download: tr_l2_power_junction.pdf (1.44 MB)
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, and S. Neema, META Design Space Exploration Using Dynamics, , no. ISIS-15-106, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: META Design Space Exploration Using Dynamics.pdf (1.66 MB)
Mehrotra, R., A. Dubey, S. Abdelwahed, and A. Tantawi, "Model Identification for Performance Management of Distributed Enterprise Systems", ISIS Technical Report, no. ISIS-10-104, Nashville, Institute for Software Integrated Systems, 2010.  Download: Paper.pdf (4.02 MB)
Kottenstette, N., H. LeBlanc, E. Eyisi, and X. Koutsoukos, "Multi-Rate Networked Control of Conic Systems", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 09/2009. Abstract  Download: tr_quantization_final_rev.pdf (930.55 KB); tr_quantization_4_2010_rev.pdf (727.99 KB); tr_quantization_original.pdf (926.22 KB)
Neema, H., G. Karsai, and A. Levis, "Next-Generation Command and Control Wind Tunnel for Courses of Action Simulation", ISIS Technical Report, no. ISIS-15-119, Nashville, Institute for Software-Integrated Systems, Vanderbilt University, 05/2015. Abstract  Download: ngc2wt-report.pdf (8.43 MB)
Dai, L., Y. Cui, and Y. Xue, On Scalability of Proximity-Aware Peer-to-Peer Streaming, : Institute for Software Integrated Systems, January, 2007.  Download: Dai_L_1_0_2007_On_Scalabi.pdf (375.82 KB)
Kottenstette, N., X. Koutsoukos, J. Hall, J. Sztipanovits, and P. J. Antsaklis, "Passivity-Based Design of Wireless Networked Control Systems Subject To Time-Varying Delays", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-17, 08/2008.  Download: passivity_isis_tr_08-904_revised_2_15_11.pdf (648.14 KB); Passivity_isis_tr_08_904_original.pdf (462.44 KB)
Blair, K., D. Schwartz, G. Biswas, and K. Leelawong, "Pedagogical agents for learning by teaching: Teachable agents", Educational Technology & Society, Special Issue on Pedagogical Agents, 2006.
Zhang, P., J. White, D. Schmidt, and T. Dennis, A Preliminary Study of Hand Hygiene Compliance Characteristics with Machine Learning Methods, , no. ISIS-16-101, Nashville, Institute for Software Integrated Systems, 11/2016.  Download: tech report.pdf (372.58 KB)
Wu, T., Y. Xue, and Y. Cui, Preserving Traffic Privacy in Wireless Mesh Networks, : Institute for Software Integrated Systems, June 2006.  Download: WU_T_6_0_2006_Preserving.pdf (206.84 KB)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.  Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)
Su, R., S. Abdelwahed, and S. Neema, A Reachability based Stability Analysis for Switching Systems, : Institute for Software Integrated Systems, September, 2004.  Download: ISIS_9_0_2004_A_Reachabi.pdf (3.95 KB)
An, K., S. Tambe, A. Sorbini, S. Mukherjee, J. Povedano-Molina, M. Walker, N. Vermani, A. Gokhale, and P. Pazandak, "Real-time Sensor Data Analysis Processing of a Soccer Game Using OMG DDS Publish/Subscribe Middleware", ISIS Technical Report, no. ISIS-13-102: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37212, 06/2013.  Download: TechReport_13_102.pdf (930.22 KB)
Neema, H., A. Dubey, and G. Karsai, "A Report On Simulating External Applications With SOAMANET in the Loop", ISIS Technical Report, no. ISIS-10-108, Nashville, Insitute For Software Integrated Systems, 08/2010.  Download: report.pdf (6.13 MB)
Balasubramanian, J., A. Gokhale, F. Wolf, A. Dubey, C. Lu, C. Gill, and D. C. Schmidt, "Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems", ISIS Technical Report, no. ISIS-09-109: Institute for Software Integrated Systems, Vanderbilt University, 10/2009.  Download: decoram_tr09.pdf (1.81 MB)
Tan, J., and G. Biswas, "The role of feedback in preparation for future learning: A case study in learning by teaching environments", ntelligent Tutoring Systems: Vol. 4053. Lecture Notes in Computer Science, Jhongli, Taiwan, Springer, pp. 370-381, 2006.