Center for South Asian and Middle Eastern Studies

Filter
Conference contribution

Search results

  • 2006

    Cooling rates in hot-poured bituminous sealants

    Collins, P., Masson, J. F. & Al-Qadi, I. L., 2006, Managing and Maintaining Highway Structures and Pavements. 1958 ed. National Research Council, p. 71-73 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools

    Sen, K. & Agha, G., 2006, Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. Springer, p. 419-423 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4144 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Decentralized runtime analysis of multithreaded applications

    Sen, K., Vardhan, A., Agha, G. & Roşu, G., 2006, 20th International Parallel and Distributed Processing Symposium, IPDPS 2006. IEEE Computer Society, 1639591. (20th International Parallel and Distributed Processing Symposium, IPDPS 2006; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Deformation and failure processes operating in ultra-fine grain metals

    Hattar, K., Robertson, I. M., Han, J., Saif, M. T. A., Hearne, S. J. & Follstaedt, D., 2006, Fracture of Nano and Engineering Materials and Structures - Proceedings of the 16th European Conference of Fracture. Gdoutos, E. E. (ed.). Kluwer Academic Publishers, p. 683-684 2 p. (Fracture of Nano and Engineering Materials and Structures - Proceedings of the 16th European Conference of Fracture).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • DNA-templated free-standing nanowires with controllable dimensions for in-situ TEM analysis

    Mani, S., Han, J., Saif, T., Richter, G. & Arzt, E., 2006, 2006 6th IEEE Conference on Nanotechnology, IEEE-NANO 2006. Institute of Electrical and Electronics Engineers Inc., p. 537-539 3 p. 1717157. (2006 6th IEEE Conference on Nanotechnology, IEEE-NANO 2006; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Effectiveness of steel reinforcing interlayer systems on delaying reflective cracking

    Back, J. & Al-Qadi, I. L., 2006, Airfield and Highway Pavements: Meeting Today's Challenges with Emerging Technologies - Proceedings of the 2006 Airfield and Highway Pavement Specialty Conference. p. 62-73 12 p. (Proceedings of the 2006 Airfield and Highway Pavement Specialty Conference; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Finite element method modeling of reflective cracking initiation and propagation: Investigation of the effect of steel reinforcement interlayer on retarding reflective cracking in hot-mix asphalt overlay

    Baek, J. & Al-Qadi, I. L., 2006, Pavement Rehabilitation, Strength and Deformation Characteristis, and Surface Properties-Vehicle Interaction 2006. 1949 ed. National Research Council, p. 32-42 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Flexible pavement response to different loading amplitudes

    Yoo, P. J. & Al-Qadi, I. L., 2006, Airfield and Highway Pavements: Meeting Today's Challenges with Emerging Technologies - Proceedings of the 2006 Airfield and Highway Pavement Specialty Conference. American Society of Civil Engineers, p. 39-49 11 p. (Proceedings of the 2006 Airfield and Highway Pavement Specialty Conference; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Mechanical response of single living cells under controlled stretch and indentation using functionalized micro force sensors

    Saif, M. T. A., 2006, Proceedings of 2006 International Conference on Microtechnologies in Medicine and Biology. p. 3 1 p. 4281287. (Proceedings of 2006 International Conference on Microtechnologies in Medicine and Biology).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • MEMS Based sensors for the study of indentation response of single cells

    Yang, S. & Saif, M. T. A., 2006, 19th IEEE International Conference on Micro Electro Mechanical Systems. p. 20-23 4 p. 1627726. (Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS); vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Model-checking Markov chains in the presence of uncertainties

    Sen, K., Viswanathan, M. & Agha, G., 2006, Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006. p. 394-410 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3920 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scalable modeling and performance evaluation of wireless sensor networks

    Kwon, Y. M. & Agha, G., 2006, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium. p. 49-58 10 p. 1613322. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • State aware data dissemination over structured overlays

    Chen, L. & Agha, G., 2006, Proceedings - 6th IEEE International Conference on Peer-to-Peer Computing, P2P 2006. Montresor, A., Wierzbicki, A. & Shahmehri, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 145-152 8 p. 1698604. (Proceedings - 6th IEEE International Conference on Peer-to-Peer Computing, P2P 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Viscoelastic model to describe mechanical response of bituminous sealants at low temperature

    Elseifi, M. A., Dessouky, S. H., Al-Qadi, I. L. & Yang, S. H., 2006, Managing and Maintaining Highway Structures and Pavements. 1958 ed. National Research Council, p. 82-89 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Viscosity determination of hot-poured bituminous sealants

    Al-Qadi, I. L., Fini, E. H., Elseifi, M. A., Masson, J. F. & McGhee, K. M., 2006, Managing and Maintaining Highway Structures and Pavements. 1958 ed. National Research Council, p. 74-81 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2005

    Actor model and knowledge management systems: Social interaction as a framework for knowledge integration

    Becerra-Fernandez, I., Wang, T., Agha, G. & Sin, T., 2005, Professional Knowledge Management - Third Biennial Conference, WM 2005, Revised Selected Papers. Springer, p. 19-31 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3782 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Adaptive agent allocation for massively multi-agent applications

    Jang, M. W. & Agha, G., 2005, Massively Multi-Agent Systems I - First International Workshop, MMAS 2004, Revised Selected and Invited Papers. Springer, p. 25-39 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3446 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • An underlay for sensor networks: Localized protocols for maintenance and usage

    Devaraj, C. F., Nagda, M., Gupta, I. & Agha, G. A., 2005, 2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2005. p. 502-509 8 p. 1542837. (2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2005; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • ARA: A robust audit to prevent free-riding in P2P networks

    Ham, M. J. & Agha, G., 2005, Proceedings - Fifth IEEE International Conference on Peer-to-Peer Computing, P2P 2005. p. 125-132 8 p. 1551028. (Proceedings - Fifth IEEE International Conference on Peer-to-Peer Computing, P2P 2005; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • AUTOLOOP: Automated action selection in the "Observe-Analyze-Act" loop for storage systems

    Yin, L., Palmer, J., Uttamchandani, S., Katz, R. & Agha, G., 2005, Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005. p. 129-138 10 p. 1454312. (Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • CUTE: A concolic unit testing engine for C

    Sen, K., Marinov, D. & Agha, G., 2005, ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13). Gall, H. (ed.). p. 263-272 10 p. (ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Efficient agent communication in multi-agent systems

    Jang, M. W., Ahmed, A. & Agha, G., 2005, Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. Springer, p. 236-253 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3390 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Ensemble modelling of the hydrological impacts of land use change

    Viney, N. R., Croke, B. F. W., Breuer, L., Bormann, H., Bronstert, A., Frede, H., Gräff, T., Hubrechts, L., Huisman, J. A., Jakeman, A. J., Kite, G. W., Lanini, J., Leavesley, G., Lettenmaier, D. P., Lindström, G., Seibert, J., Sivapalan, M. & Willems, P., 2005, MODSIM05 - International Congress on Modelling and Simulation: Advances and Applications for Management and Decision Making, Proceedings. p. 2967-2973 7 p. (MODSIM05 - International Congress on Modelling and Simulation: Advances and Applications for Management and Decision Making, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Force response of single living fibroblasts under large deformations studied by MEMS sensors

    Yang, S. & Saif, M. T. A., 2005, Proceedings of the 2005 Summer Bioengineering Conference, 2005 SBC. p. 1208-1209 2 p. (Proceedings of the 2005 Summer Bioengineering Conference; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • ILTLChecker: A probabilistic model checker for multiple DTMCs

    Kwon, Y. M. & Agha, G. A., 2005, QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. p. 245-246 2 p. 1595802. (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Length scale effects on deformation and failure mechanisms of ultra-fine grained aluminum

    Hattar, K., Han, J. H., Follstaedt, D. M., Hearne, S. J., Saif, M. T. A. & Rohertson, I. M., 2005, In Situ Electron Microscopy of Materials. p. 1-6 6 p. (Materials Research Society Symposium Proceedings; vol. 907).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Maximal clique based distributed coalition formation for task allocation in large-scale multi-agent systems

    Tošić, P. T. & Agha, G. A., 2005, Massively Multi-Agent Systems I - First International Workshop, MMAS 2004, Revised Selected and Invited Papers. Springer, p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3446 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Microinstruments for single cellular studies

    Yang, S. & Saif, T., 2005, Micro Total Analysis Systems - Proceedings of MicroTAS 2005 Conference: 9th International Conference on Miniaturized Systems for Chemistry and Life Sciences. Transducer Research Foundation, p. 900-902 3 p. (Micro Total Analysis Systems - Proceedings of MicroTAS 2005 Conference: 9th International Conference on Miniaturized Systems for Chemistry and Life Sciences; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • MONITORMINING: Creating domain knowledge for system automation using a gray-box approach

    Uttamchandan, S., Palmer, J., Yin, X. & Agha, G., 2005, 2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005. p. 61-74 14 p. 1440771. (2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Observations on the response of actin networks in living fibroblasts due to large indentation/compression disturbance

    Yang, S. & Saif, M. T. A., 2005, Proceedings of the 2005 Summer Bioengineering Conference, 2005 SBC. p. 303-304 2 p. (Proceedings of the 2005 Summer Bioengineering Conference; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scalable agent distribution mechanisms for large-scale UAV simulations

    Jang, M. W. & Agha, G., 2005, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering. p. 85-90 6 p. 1427058. (2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Software technology track

    Agha, G. A., 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Abstracts and CD-ROM of Full Papers. IEEE Computer Society, p. 273 1 p. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Task assignment for a physical agent team via a dynamic forward/reverse auction mechanism

    Ahmed, A., Patel, A., Brown, T., Ham, M. J., Jang, M. W. & Agha, G., 2005, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering. p. 311-317 7 p. 1427101. (2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • VeStA: A statistical model-checker and analyzer for probabilistic systems

    Sen, K., Viswanathan, M. & Agha, G., 2005, QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. p. 251-252 2 p. 1595805. (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2004

    An adaptive programming framework for Web applications

    Chang, P. H., Kim, W. & Agha, G., 2004, Proceedings - 2004 International Symposium on Applications and the Internet (Saint 2004). p. 152-159 8 p. (Proceedings - International Symposium on Applications and the Internet).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • ATSpace: A middle agent to support application oriented matchmaking and brokering services

    Jang, M. W., Momen, A. A. & Agha, G., 2004, Proceedings - IEEE/WIC/ACM International Conference on Intelligent Agent Systems. IAT 2004. Zhong, N., Bradshaw, J., Pal, S. K., Talia, D., Liu, J. & Cercone, N. (eds.). p. 393-396 4 p. (Proceedings - IEEE/WIC/ACM International Conference on Intelligent Agent Technology. IAT 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Concurrency vs. sequential interleavings in 1-D threshold cellular automata

    Tosic, P. & Agha, G. A., 2004, Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM). p. 2539-2546 8 p. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM); vol. 18).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Decentralized resource control for multi-agent systems

    Jamali, N., Indratmo, Zhao, X. & Agha, Q. A., 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. Jennings, N. R., Sierra, C., Sonenberg, L. & Tambe, M. (eds.). p. 1366-1367 2 p. (Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • DecisionQoS: An adaptive, self-evolving QoS arbitration module for storage systems

    Uttamchandani, S., Alvarez, G. A. & Agha, G., 2004, Proceedings - Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004. p. 67-76 10 p. (Proceedings - Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • In situ TEM observations of grain growth in nanograined thin films

    Hattar, K., Gregg, J., Han, J., Saif, T. & Robertson, I. M., 2004, Stability of Thin Films and Nanostructures. Materials Research Society, p. 101-106 6 p. (Materials Research Society Symposium Proceedings; vol. 854).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Is there a critical size in nano grained metals for ductile to brittle transition?

    Haque, A. & Saif, T., 2004, Proceedings of the 3rd ASME Integrated Nanosystems Conference - Design, Synthesis, and Applications. American Society of Mechanical Engineers, p. 93-94 2 p. NANO2004-46097. (Proceedings of the 3rd ASME Integrated Nanosystems Conference - Design, Synthesis, and Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Learning continuous time Markov chains from sample executions

    Sen, K., Viswanathan, M. & Agha, G., 2004, Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004. IEEE Computer Society, p. 146-155 10 p. (Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards a hierarchical taxonomy of autonomous agents

    Tosic, P. T. & Agha, G. A., 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 3421-3426 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 4).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2003

    DHARMA: A grid-enabled domain-specific metaware for hydrology

    Andresen, D., Neilsen, M., Singh, G. & Kalita, P. K., 2003, Proceedings of the Fifteenth IASTED International Conference on Parallel and Distributed Computing and Systems. Gonzalez, T. (ed.). 2 ed. p. 791-796 6 p. (Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems; vol. 15, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Poster abstract: Cooperative tracking with binary-detection sensor networks

    Mechitov, K., Kwon, Y., Sundresh, S. & Agha, G. A., 2003, SenSys'03: Proceedings of the First International Conference on Embedded Networked Sensor Systems. p. 332-333 2 p. (SenSys'03: Proceedings of the First International Conference on Embedded Networked Sensor Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Runtime safety analysis of multithreaded programs

    Sen, K., Rosu, G. & Agha, G., 2003, Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11. p. 337-346 10 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Runtime Safety Analysis of Multithreaded Programs

    Sen, K., Roşu, G. & Agha, G., 2003, Proceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). Association for Computing Machinery, p. 337-346 10 p. (Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    A theory of may testing for actors

    Thati, P., Ziaei, R. & Agha, G., 2002, Formal Methods for Open Object-Based Distributed Systems V - IFIP TC6 / WG6.1 5th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002. Springer, p. 147-162 16 p. (IFIP Advances in Information and Communication Technology; vol. 81).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Capillary interaction between a small thin solid plate and a liquid

    Taher, M. & Saif, A., 2002, 2002 International Conference on Modeling and Simulation of Microsystems - MSM 2002. Laudon, M. & Romanowicz, B. (eds.). p. 330-333 4 p. (2002 International Conference on Modeling and Simulation of Microsystems - MSM 2002).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Force response of single living cells due to localized deformation

    Saif, T., Sager, C. & Coyer, S., 2002, Microelectromechanical Systems. American Society of Mechanical Engineers (ASME), p. 591-593 3 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution