Science of Computer Programming, Volume 54

Volume 54, Number 1, January 2005

• James F. Power, John Waldron:
  Editorial. 1-2
  Electronic Edition (link) BibTeX
• Paolo Boldi, Sebastiano Vigna:
  Mutable strings in Java: design, implementation and lightweight text-search algorithms. 3-23
  Electronic Edition (link) BibTeX
• Sergio Rajsbaum, Elisa Viso:
  Object-oriented algorithm analysis and design with Java. 25-47
  Electronic Edition (link) BibTeX
• Jean-Marc Seigneur, Christian Damsgaard Jensen:
  The Claim Tool Kit for ad hoc recognition of peer entities. 49-71
  Electronic Edition (link) BibTeX
• Giacomo Cabri, Luca Ferrari, Letizia Leonardi:
  Exploiting runtime bytecode manipulation to add roles to Java agents. 73-98
  Electronic Edition (link) BibTeX
• Ian O'Neill, Philip Hanna, Xingkun Liu, Des Greer, Michael F. McTear:
  Implementing advanced spoken dialogue management in Java. 99-124
  Electronic Edition (link) BibTeX
• Vijay P. Shah, Nicolas H. Younan, Torey Alford, Anthony Skjellum:
  A spectral estimation toolkit for Java applications. 125-142
  Electronic Edition (link) BibTeX

Volume 54, Number 2-3, February 2005

• A. Steven Klusener, Ralf Lämmel, Chris Verhoef:
  Architectural modifications to deployed software . 143-211
  Electronic Edition (link) BibTeX
• Manfred Broy:
  A semantic and methodological essence of message sequence charts. 213-256
  Electronic Edition (link) BibTeX
• Susumu Nishimura, Keisuke Nakano:
  XML stream transformer generation through program composition and dependency analysis. 257-290
  Electronic Edition (link) BibTeX
• Antonella Santone, Gigliola Vaglini:
  Compositionality and locality for improving model checking in the selective mu-calculus. 291-311
  Electronic Edition (link) BibTeX
• Jan Joris Vereijken:
  Erratum to "Book review: Process algebra with timing" [Sci. Comput. Programming 51 (2004)291-292]. 313
  Electronic Edition (link) BibTeX