Boca Raton, Florida, Nov. 1999. [Bur92] J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, andL.J. Hwang, "Symbolic model checking: 10**20 states andbeyond," Info. and Comp., Vol. 98, No. 2, June 1992, pp.142-170. [Col92] D. Cooleman, F. Hayes, and S. Bear "IntroducingObjectcharts or How to use Statecharts in object-orienteddesign," IEEE Trans. on Softw. Eng., Vol. 18, No. 1...

eng./dt.) 6

1 Concurrent Contracts for Java Wladimir Araujo, Lionel C. Briand, Yvan Labiche 1 Juniper Networks 700 Silver Seven Road Ottawa, ON, K2V 1C3, Canada [email protected] 2 Simula Research Laboratory and University of Oslo P.O. Box 134, Lysaker 1325 Norway [email protected] 3 Software Quality Eng. Lab. Dept. of Systems and Computer Eng. Carleton University 1125 Colonel By Drive Ottawa, ON, K1S 5B6...

BRIAN D. 0. ANDERSON' KAZUNOBU KURIYAMA TSUTOMU MITA Research School of Information Dept. of Control and Systems Eng. Dept. of Control and Systems Eng. Science and Engineering Tokyo Institute of Technology Tokyo Institute of Technology Australian National University 2-12-1 Oh-okayama, Xeguro-ku 2-12-1 Oh-okayama, Meguro-ku Canberra, ACT0200, AUSTRALIA Tokyo 152, JAP.4N Tokyo 152, JAPAN brian.an...

For Quantitative Detection Using Electrical Impedance Spectroscopy Cheng-Hsin Chuang, Deng-Maw Lu, Lung-Yu Chang, Kai-Chieh Chang, Cheng-Ho Chen, Ting-Feng Wu, Muhammad Omar Shaikh and Hsun-Pei Wu Depart. of Mechanical Eng., Southern Taiwan University of Science and Technology, Tainan, Taiwan Depart. of Chem. and Mater. Eng., Southern Taiwan University of Science and Technology, Tainan, Taiwan ...

OVERVIEW: Organic electronics is of enormous technological interest for its ability to integrate circuits, batteries, sensors, and other functionalities on flexible plastic substrates using solution and printing processes at near room temperature, and a wide range of organic devices are now being actively researched and developed. Recently organic EL displays incorporating OLEDs reached the mar...

Dept. of Elec. Eng. and Computer Science; Syracuse University; Syracuse, NY 13244 USA. Email: [email protected]. Research supported in part by NSF grant CCR-9522987. Dept. of Computer Science; University of Victoria; Victoria, BC V8W 3P6 Canada. Email: [email protected]. Dept. of Elec. Eng. and Computer Science; Syracuse University; Syracuse, NY 13244 USA. Email: [email protected]....

Bradley P. Sutton Douglas C. Noll 1 Jeffrey A. Fessler Dept. of Biomedical Eng., Univ. of Michigan, 3304 GG Brown, 2350 Hayward, Ann Arbor, MI 48109-2125, phone: (734)647-1996, fax: (734)936-1905, [email protected], [email protected] Electrical Eng. and Comp. Science, Univ. of Michigan, 4240 EECS Bldg., 1301 Beal Ave., Ann Arbor, MI 481092122, phone: (734)763-1434, fax: (734)763-8041, fessler@ee...