Searching...
Advanced Search
Table of Contents
Login to access your subscribed content
January 2003 (vol. 29 no. 1)
ISSN: 0098-5589
Subscribe to this Publication
RSS feed for this Publication
This Publication
Digital Library
Advanced Search
PAPERS
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines
Fan Zhang
To-yat Cheung
pp. 1-14
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Framework for Model-Based Design of Agent-Oriented Software
Haiping Xu
Sol M. Shatz
pp. 15-30
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Formal Architectural Model for Logical Agent Mobility
Dianxiang Xu
Jianwen Yin
Yi Deng
Junhua Ding
pp. 31-45
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation
Richard Lai
Sun-Jen Huang
pp. 46-62
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects
Ping-Yu Hsu
Yuan-Bin Chang
Yen-Liang Chen
pp. 63-76
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics
Rajendra K. Bandi
Vijay K. Vaishnavi
Daniel E. Turk
pp. 77-87
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
SHORT PAPERS
Comparing Partition and Random Testing via Majorization and Schur Functions
Philip J. Boland
Harshinder Singh
Bojan Cukic
pp. 88-94
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
2002 Reviewers List
2002 Reviewers List
pp. 95-96
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Sponsored Whitepaper
11 Best Practices
for Peer Code Review
