ISIS Publications

Export 452 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: Taxonomy Term is   [Clear All Filters]
2006
Roselli, R. J., and L. Howard, "Facilitating the design of diagnostic learning modules with CAPE", Proceedings of the American Society of Engineering Education Annual Conference, Chicago, IL, USA, June, 2006.
Jackson, E., and J. Sztipanovits, "Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality", 13th Annual IEEE International Conference on the Engineering of Computer Based Systems, Potsdam, Germany, March, 2006.  Download: Jackson_EK_3_27_2006_Correct_ed.pdf (305.84 KB)
Volgyesi, P., A. Nadas, A. Ledeczi, and K. Molnar, "Reliable Multihop Bulk Transfer Service forWireless Sensor Networks", 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), Potsdam, Germany, March, 2006.  Download: Volgyesi_P_3_0_2006_Reliable_M.pdf (1.61 MB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, "Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems", Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.  Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
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)
Harris, T. R., L. Howard, and R. Linsenmeier, "Design of a Repository for Bioengineering Educational Materials", Proceedings of the Biomedical Engineering Society (BMES) Annual Conference, Chicago, Illinios, October, 2006.
2007
Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits, "OASiS: A Programming Framework for Service-Oriented Sensor Networks", International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007. Abstract  Download: comsware07.pdf (982.55 KB)
Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.  Download: LNCS2007.pdf (1.54 MB)
Volgyesi, P., G. Balogh, A. Nadas, C. Nash, and A. Ledeczi, "Shooter Localization and Weapon Classification with Soldier-Wearable Networked Sensors", 5th International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, 2007.  Download: sys5090-volgyesi.pdf (1.04 MB)
Amundson, I., M. Kushwaha, B. Kusy, P. Volgyesi, G. Simon, X. Koutsoukos, and A. Ledeczi, "Time Synchronization for Multi-Modal Target Tracking in Heterogeneous Sensor Networks", Workshop on Networked Distributed Systems for Intelligent Sensing and Control, Kalamata, Greece, 2007. Abstract  Download: KalamataWorkshop07.pdf (3.94 MB)
Kusy, B., A. Ledeczi, and X. Koutsoukos, "Tracking mobile nodes using RF Doppler shifts", SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systems, New York, NY, USA, ACM, pp. 29--42, 2007.  Download: Kusy_B_11_7_2007_Tracking_M.pdf (811.73 KB)
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007. Abstract  Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
Kusy, B., G. Balogh, J. Sallai, A. Ledeczi, and M. Maroti, "inTrack: High Precision Tracking of Mobile Sensor Nodes", European conference on Wireless Sensor Networks, Delft, Netherlands, January, 2007.  Download: Kusy_B_1_29_2006_inTrack__H.pdf (831.13 KB)
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)
Roselli, R. J., L. Howard, and G. Pap, "Assessment of Diagnostics and Feedback for Online Homework Assignments", Proceeding of the Annual Biomedical Engineering Society (BMES) Annual Conference, Los Angeles, CA, USA, September, 2007.
2008
Kavimandan, A., A. Narayanan, J. Balasubramanian, and G. Karsai, "Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems", The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
Amundson, I., X. Koutsoukos, and J. Sallai, "Mobile Sensor Localization and Navigation using RF Doppler Shifts", 1st ACM International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT'08), San Francisco, CA, USA, 2008. Abstract  Download: melt08-amundson.pdf (501.65 KB)
Kushwaha, M., I. Amundson, P. Volgyesi, P. Ahammad, G. Simon, X. Koutsoukos, A. Ledeczi, and S. Sastry, "Multi-modal Target Tracking using Heterogeneous Sensor Networks", 17th International Conference on Computer Communications and Networks (ICCCN 08), St. Thomas, Virgin Islands (USA), 2008. Abstract  Download: multifusion.pdf (1.36 MB)
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Target Tracking in Heterogeneous Sensor Networks Using Audio and Video Sensor Fusion", IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea, 2008.  Download: multifusion.pdf (587.45 KB)
Amundson, I., B. Kusy, P. Volgyesi, X. Koutsoukos, and A. Ledeczi, "Time Synchronization in Heterogeneous Sensor Networks", International Conference on Distributed Computing in Sensor Systems (DCOSS'08), Santorini, Greece, 2008. Abstract  Download: Amundson_I_0_0_2008_Time_Synch.pdf (194.27 KB)
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Narayanan, A., and G. Karsai, "Specifying the Correctness Properties of Model Transformations", 3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
Tambe, S., A. Dabholkar, A. Gokhale, and A. Kavimandan, "CQML: A QoS Modeling and Modularization Framework for Component-based Systems", Proceedings of EDOC workshop Advances in Quality of Service Management, (AQuSerM 2008): IEEE, 09/2008.  Download: AQuSerM-2008.pdf (313.72 KB)
Dabholkar, A., "Modeling Software Contention using Colored Petri Nets", Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Baltimore, MD, IEEE, 09/2008. Abstract
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.  Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
Howard, L., J. Johnson, G. Pap, K. Pence, and L. Juracz, "Affordances and Form: Applying Lessons from Informal Learning to Formal Learning on the Web", Proceedings of the International Conference on Engineering Education, Pecs-Budapest, Hungary, July, 2008.
Imsand, E., L. Howard, K. Pence, and D. Dasgupta, "Online Information Security Education through Anchored Instruction", Proceedings of the 12th Annual Colloquium for Information Systems Security Education, Dallas, TX, USA, June, 2008.