Journal Articles

Yi-Hsuan Lin, Tung-Mei Ko, Tyng-Ruey Chuang, Kwei-Jay Lin: Open Source Licenses and the Creative Commons Framework: License Selection and Comparison. J. Inf. Sci. Eng. 22(1): 1-17 (2006)

Jane Yung-jen Hsu, Kwei-Jay Lin, Tsung-Hsiang Chang, Chien-Ju Ho, Han-Shen Huang, Wan-rong Jih: Parameter learning of personalized trust models in broker-based distributed trust management. Information Systems Frontiers 8(4): 321-333 (2006)

Ian G. Harris, Franco Fummi: Guest Editor’s Introduction. International Journal of Parallel Programming (IJPP) 34(1):1-2 (2006)

Samar Abdi, Daniel Gajski: Verification of System Level Model Transformations. International Journal of Parallel Programming (IJPP) 34(1):29-59 (2006)

Martin Bichler, Kwei-Jay Lin: Service-Oriented Computing. IEEE Computer 39(3): 99-101 (2006)

Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin: A Verification Approach for GALS Integration of Synchronous Components. Electr. Notes Theor. Comput. Sci. 146(2): 105-131 (2006)

Jean-Luc Gaudiot, Yale N. Patt, Kevin Skadron: Foreword. Computer Architecture Letters 5(2): (2006)

Mark D. Hill, Jean-Luc Gaudiot, Mary W. Hall, Joe Marks, Paolo Prinetto, Donna Baglio: A Wiki for discussing and promoting best practices in research. Commun. ACM 49(9): 63-64 (2006)

Won Woo Ro and Jean-Luc Gaudiot, “A Complexity-Effective Microprocessor Design with Decoupled Dispatch Queues,” to appear in Parallel Computing, in press (2008).

S. Ghiasi, K. Nguyen, E. Bozorgzadeh, M. Sarrafzadeh, “Efficient Timing Budget Management for Accuracy Improvement in a Collaborative Object Tracking System,” to appear in Journal on Applied Signal Processing.

G. Madl, S. Abdelwahed, and D. Schmidt, “Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking,” International Journal of Time-Critical Computing Systems, invited paper, 2005.
download pdf