Issue 12

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 12
Managing Editor's Column	H. Maurer	1700
Modeling Inheritance as Coercion in the Kenzo System	C. Domínguez, J. Rubio, F. Sergeraert	1701
Restricting the View and Connecting the Dots — Dangers of a Web Search Engine Monopoly	N. Kulathuramaiyer, W.-T. Balke	1731
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic	P. Poizat, J.-C. Royer	1741
Persian/Arabic Baffletext CAPTCHA	M.H. Shirali-Shahreza, M. Shirali-Shahreza	1783