Filter
Chapter

Search results

  • 2005

    Pattern recognition with local invariant features

    Schmid, C., Dorkó, G., Lazebnik, S., Mikolajczyk, K. & Ponce, J., Jan 1 2005, Handbook of Pattern Recognition and Computer Vision, 3rd Edition. World Scientific Publishing Co., p. 71-92 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2004

    A formal monitoring-based framework for software development and analysis

    Chen, F., D'Amorim, M. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 357-372 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A higher order modal fixed point logic

    Viswanathan, M. & Viswanathan, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Gardner, P. & Yoshida, N. (eds.). Springer, p. 512-528 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3170).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A preliminary study on the vectorization of multimedia applications for multimedia extensions

    Ren, G., Wu, P. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 420-435 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Characterizing configuration spaces of simple threshold cellular automata

    Tosic, P. T. & Agha, G. A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Hoekstra, A. G. & Chopard, B. (eds.). Springer, p. 861-870 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3305).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Formal analysis of Java programs in JavaFAN

    Farzan, A., Chen, F., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 501-505 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Formal JVM code analysis in javaFAN

    Farzan, A., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 132-147 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • High-Dimensional OLAP

    Li, X., Han, J. & Gonzalez, H., Jan 1 2004, Proceedings 2004 VLDB Conference: The 30th International Conference on Very Large Databases (VLDB). Elsevier, p. 528-539 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Learning to verify safety properties

    Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 274-289 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Linear inequality LTL (iLTL): A model checker for discrete time Markov chains

    Kwon, Y. M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 194-208 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Middlewhere: A middleware for location awareness in ubiquitous computing applications

    Ranganathan, A., Al-Muhtadi, J., Chetan, S., Campbell, R. & Dennis Mickunas, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jacobsen, H.-A. (ed.). Springer, p. 397-416 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3231).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Mining thick skylines over large databases

    Jin, W., Han, J. & Ester, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Boulicaut, J.-F., Esposito, F., Giannotti, F. & Pedreschi, D. (eds.). Springer, p. 255-266 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3202).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • On exploring performance optimizations in web service composition

    Jin, G. & Nahrstedt, K., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jacobsen, H.-A. (ed.). Springer, p. 115-134 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3231).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Online efficient predictive safety analysis of multithreaded programs

    Sen, K., Roşu, G. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Overhaul extending HTTP to combat flash crowds

    Patel, J. A. & Gupta, I., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Chi, C.-H., van Steen, M. & Wills, C. (eds.). Springer, p. 34-43 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3293).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Over-the-Shoulder Learning in a Distance Education Environment

    Twidale, M. & Ruhleder, K., 2004, Learning, Culture and Community in Online Education: Research and Practice. Haythornthwaite, C. & Kazmer, M. M. (eds.). New York: Peter Lang Publishing, p. 177-194 (Digital Formations).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Programming for locality and parallelism with hierarchically tiled arrays

    Almási, G., De Rose, L., Fraguela, B. B., Moreira, J. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Real-time synchronization protocols

    Sha, L. & Caccamo, M., Jan 1 2004, Handbook of Scheduling: Algorithms, Models, and Performance Analysis. CRC Press, p. 29-1-29-26

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Shape and view independent reflectance map from multiple views

    Yu, T., Xu, N. & Ahuja, N., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pajdla, T. & Matas, J. (eds.). Springer, p. 602-615 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3024).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Specification and Analysis of Real-Time Systems Using Real-Time Maude

    Ölveczky, P. C. & Meseguer, J., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wermelinger, M. & Margaria-Steffen, T. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2984).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Statistical model checking of black-box probabilistic systems

    Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Techniques for executing and reasoning about specification diagrams

    Thati, P., Talcott, C. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 521-536 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The power of belady's algorithm in register allocation for long basic blocks

    Guo, J., Garzarán, M. J. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 374-389 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Worldwide computing middleware

    Agha, G. A. & Varela, C. A., Jan 1 2004, The Practical Handbook of Internet Computing. CRC Press, p. 38-1-38-21

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2003

    An interface model for parallel components

    Bhandarkar, M. & Kalé, L. V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dietz, H. G. (ed.). Springer, p. 209-222 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2624).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A rewriting based model for probabilistic distributed object systems

    Kumar, N., Sen, K., Meseguer, J. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Najm, E., Nestmann, U. & Stevens, P. (eds.). Springer, p. 32-46 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2884).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Certifying optimality of state estimation programs

    Roşu, G., Venkatesan, R. P., Whittle, J. & Leuştean, L., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hunt, W. A. & Somenzi, F. (eds.). Springer, p. 301-314 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2725).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Compiling for a hybrid programming model using the LMAD representation

    Zhu, J., Hoeflinger, J. & Padua, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dietz, H. G. (ed.). Springer, p. 321-335 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2624).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Conditional circular coinductive rewriting with case analysis

    Goguen, J. A., Lin, K. & Roşu, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wirsing, M., Pattinson, D. & Hennicker, R. (eds.). Springer, p. 216-232 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2755).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Definition of a user environment in a ubiquitous system

    Carvalho, D., Campbell, R., Belford, G. & Mickunas, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Meersman, R., Tari, Z. & Schmidt, D. C. (eds.). Springer, p. 1151-1169 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2888).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Experiments with test case generation and runtime analysis

    Artho, C., Drusinksy, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Roşu, G. & Visser, W., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Borger, E., Gargantini, A. & Riccobene, E. (eds.). Springer, p. 87-107 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2589).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Fast algorithms for computing the smallest k-enclosing disc

    Har-Peled, S. & Mazumdar, S., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). di Battista, G. & Zwick, U. (eds.). Springer, p. 278-288 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2832).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Generalized rewrite theories

    Bruni, R. & Meseguer, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Induction variable analysis without idiom recognition: Beyond monotonicity

    Wu, P., Cohen, A. & Padua, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dietz, H. G. (ed.). Springer, p. 427-441 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2624).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Jade: A parallel message-driven Java

    DeSouza, J. & Kalé, L. V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Abramson, D., Bogdanov, A. V., Gorbachev, Y. E., Dongarra, J. J. & Zomaya, A. Y. (eds.). Springer, p. 760-769 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2659).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Mining typical preferences of collaborative user groups

    Ko, S. J. & Han, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Song, I.-Y., Liddle, S. W., Ling, T. W. & Scheuermann, P. (eds.). Springer, p. 419-432 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2813).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Online response time optimization of apache web server

    Liu, X., Sha, L., Diao, Y., Froehlich, S., Hellerstein, J. L. & Parekh, S., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jeffay, K., Stoica, I. & Wehrle, K. (eds.). Springer, p. 461-478 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2707).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Output-sensitive algorithms for computing nearest-neighbour decision boundaries

    Bremner, D., Demaine, E., Erickson, J., Iacono, J., Langerman, S., Morin, P. & Toussaint, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dehne, F., Sack, J.-R. & Smid, M. (eds.). Springer, p. 451-461 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2748).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Price-based resource allocation in wireless ad hoc networks

    Xue, Y., Li, B. & Nahrstedt, K., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jeffay, K., Stoica, I. & Wehrle, K. (eds.). Springer, p. 79-96 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2707).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Scaling molecular dynamics to 3000 processors with projections: A performance analysis case study

    Kalé, L. V., Kumar, S., Zheng, G. & Lee, C. W., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Abramson, D., Bogdanov, A. V., Gorbachev, Y. E., Dongarra, J. J. & Zomaya, A. Y. (eds.). Springer, p. 23-32 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2660).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Star-Cubing: Computing Iceberg Cubes by Top-Down and Bottom-Up Integration

    Xin, D., Han, J., Li, X. & Wah, B. W., Jan 1 2003, Proceedings 2003 VLDB Conference: 29th International Conference on Very Large Databases (VLDB). Elsevier, p. 476-487 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • SynchNet: A Petri net based coordination language for distributed objects

    Ziaei, R. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pfenning, F. & Smaragdakis, Y. (eds.). Springer, p. 324-343 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2830).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Towards security and privacy for pervasive computing

    Campbell, R., Al-Muhtadi, J., Naldurg, P., Sampemane, G. & Mickunas, M. D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Okada, M., Pierce, B. C., Scedrov, A., Tokuda, H. & Yonezawa, A. (eds.). Springer, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2609).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2002

    A theory of may testing for asynchronous calculi with locality and no name matching

    Thati, P., Ziaei, R. & Agha, G., Jan 1 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kirchner, H. & Ringeissen, C. (eds.). Springer, p. 223-239 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2422).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Candidates, Donors, and Voters in California’s Blanket Primary Elections

    Cho, W. K. T. & Gaines, B. J., 2002, Voting at the Political Fault Line: California's Experiment with the Blanket Primary . Cain, B. E. & Gerber, E. R. (eds.). University of California Press, p. 171-191

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Crossover Voting before the Blanket: Primaries versus Parties in California History

    Gaines, B. J. & Cho, W. K. T., 2002, Voting at the Political Fault Line: California's Experiment with the Blanket Primary. Cain, B. E. & Gerber, E. R. (eds.). University of California Press, p. 12-35

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Development of a vehicle network control testbed

    Stubbs, A., Vladimerou, V., Vaughn, A. & Dullerud, G. E., 2002, Proceedings of the American Control Conference. Vol. 4. p. 3028-3033 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2000

    Secure smart homes using Jini and UIUC SESAME

    Al-Muhtadi, J., Anand, M., Mickunas, M. D. & Campbell, R., 2000, Proceedings - Annual Computer Security Applications Conference, ACSAC. p. 77-85 9 p. 898860

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 1993

    Distributed access to persistent objects

    Lim, S. B., Xiao, L. & Campbell, R., 1993, IFIP Transactions A: Computer Science and Technology. A-39 ed. Publ by Elsevier Science Publishers B.V., p. 329-340 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Formal methods for actor systems: A progress report

    Agha, G. A., 1993, IFIP Transactions C: Communication Systems. Diaz, M. & Groz, R. (eds.). C-10 ed. Publ by Elsevier Science Publishers B.V., p. 217-228 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter