Volume 20, Number 1, February 2010
Volume 20, Number 2, March 2010
, Mei-Ling Shyu
, Mark D. Powell
: Integrating Multimedia Semantic Content Analysis of YouTube Videos with Hurricane Wind Analysis for Public Situation Awareness and outreach.
Volume 20, Number 3, May 2010
, Xudong He
: Formal Specification and Analysis of an Agent-Based Medical Image Processing System.
, Chin-Feng Fan
: An Object-Oriented Security Knowledge Framework for the Nuclear Safety System Project.
Volume 20, Number 4, June 2010
, Tony Tsang
: Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method.
Volume 20, Number 5, August 2010
: Project Reliability Growth Model Based on Curves of Accumulated Communication Topics for Software Development.
Stéphane S. Somé
: Formalization of Textual Use Cases Based on Petri Nets.
Volume 20, Number 6, September 2010
Volume 20, Number 7, November 2010
, Heng-Li Yang
: A System Maintenance Process for Faciliating Requests Management and Conflicts Resolution.
Vitus S. W. Lam
: Formal Analysis of BPMN Models: a NuSMV-Based Approach.
Volume 20, Number 8, December 2010
: BOOK REVIEW: "Press on: Principles of Interaction Programming" by Harold Thimbleby.