Volume 60,
Number 1,
January 2002
- Robert L. Glass:
A Final Good-bye.
1-
Electronic Edition (link) BibTeX
- David N. Card:
Stepping up to the Plate.
3-
Electronic Edition (link) BibTeX
- J. Miller:
On the independence of software inspectors.
5-10
Electronic Edition (link) BibTeX
- Andrew Lim, Wee-Chong Oon, Chi-Hung Chi:
A matching-based algorithm for page access sequencing in join processing.
11-19
Electronic Edition (link) BibTeX
- H. Richard Kendall, Vincent W. Freeh, Paul W. Schermerhorn, Robert J. Minerick, Peter W. Rijks:
Streaming extensibility in the Modify-on-Access file system.
21-36
Electronic Edition (link) BibTeX
- Dong Ho Kim, Keun Ho Ryu, Chee Hang Park:
Design and implementation of spatiotemporal database query processing system.
37-49
Electronic Edition (link) BibTeX
- Manuel J. Fernández Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal, José M. Pousada Carballo, Javier Vales-Alonso:
On the application of formal description techniques to the design of interception systems for GSM mobile terminals.
51-58
Electronic Edition (link) BibTeX
- Marsha Chechik, Andre Wong:
Formal modeling in a commercial setting: A case study.
59-82
Electronic Edition (link) BibTeX
- Daniel M. Berry:
The importance of ignorance in requirements engineering: An earlier sighting and a revisitation.
83-85
Electronic Edition (link) BibTeX
Volume 60,
Number 2,
February 2002
- Kamel Barkaoui, Mohamed Jmaiel, Ali Mili:
Guest editorial.
87-89
Electronic Edition (link) BibTeX
- Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp:
From program languages to software languages.
91-101
Electronic Edition (link) BibTeX
- Richard St.-Denis:
Designing reactive systems: integration of abstraction techniques into a synthesis procedure.
103-112
Electronic Edition (link) BibTeX
- Etienne Roblet, Khalil Drira, Michel Diaz:
Formal design and development of a Corba-based application for cooperative HTML group editing support.
113-127
Electronic Edition (link) BibTeX
- Dimitri Tabary, Mourad Abed:
A software environment task object-oriented design (ETOOD).
129-140
Electronic Edition (link) BibTeX
- Mohamed Jarraya, Didier El Baz:
Implementation of distributed iterative algorithm for optimal control problems on several parallel architectures.
141-148
Electronic Edition (link) BibTeX
- Ali Jaoua, Samir Elloumi:
Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier.
149-163
Electronic Edition (link) BibTeX
Volume 60,
Number 3,
February 2002
- Guy G. Helmer, Johnny S. Wong, Vasant Honavar, Les Miller:
Automated discovery of concise predictive rules for intrusion detection.
165-175
Electronic Edition (link) BibTeX
- Shundong Xia, Jinyuan You:
A group signature scheme with strong separability.
177-182
Electronic Edition (link) BibTeX
- Choon Seong Leem, Cho-Li Wang:
Special section on Industrial information systems: progresses and perspectives in Pacific Rim.
183-
Electronic Edition (link) BibTeX
- Hongfei Yan, Jianyong Wang, Xiaoming Li, Lin Guo:
Architectural design and evaluation of an efficient Web-crawling system.
185-193
Electronic Edition (link) BibTeX
- Kitae Shin, Choon Seong Leem:
A reference system for internet based inter-enterprise electronic commerce.
195-209
Electronic Edition (link) BibTeX
- Tianhan Wang, Sheng Uei Guan, Tai Khoon Chan:
Integrity protection for Code-on-Demand mobile agents in e-commerce.
211-221
Electronic Edition (link) BibTeX
- Bongju Jeong, Ho-Sang Jung, Nam-Kyu Park:
A computerized causal forecasting system using genetic algorithms in supply chain management.
223-237
Electronic Edition (link) BibTeX
- Stephen Chan, Tharam S. Dillon, Andrew Siu:
Applying a mediator architecture employing XML to retailing inventory control.
239-248
Electronic Edition (link) BibTeX
- Choon Seong Leem, Sangkyun Kim:
Introduction to an integrated methodology for development and implementation of enterprise information systems.
249-261
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:11:45 2009
by Michael Ley (ley@uni-trier.de)
