|
Software debugging, testing, and verification
B. Hailpern and P. Santhanam |
4 |
Metrics to evaluate vendor-developed software based on test case execution results
K. Bassin, S. Biyani, and P. Santhanam |
13 |
Improving software testing via ODC: Three case studies
M. Butcher, H. Munro, and T. Kratschmer |
31 |
A metric for predicting the performance of an application under a growing workload
E. J. Weyuker and A. Avritzer |
45 |
Testing z/OS: The premier operating system for IBM's zSeries server
S. Loveland, G. Miller, R. Prewitt, and M. Shannon |
55 |
The STCL test tools architecture
C. Williams, H. Sluiman, D. Pitcher, M. Slavescu, J. Sprately, M. Brodhun, J. McLean, C. Rankin, and K. Rosengren |
74 |
Using a model-based test generator to test for standard conformance
E. Farchi, A. Hartman, and S. S. Pinter |
89 |
Multithreaded Java program test generation
O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur |
111 |
The Software Testing Automation Framework
C. Rankin |
126 |
FLAVERS: A finite state verification technique for software systems
J. M. Cobleigh, L. A. Clarke, and L. J. Osterwell |
140 |
| |
|
Introduction to Web services architecture
K. Gottschalk, S. Graham, H. Kreger, and J. Snell |
170 |
Developing XML Web services with WebSphere Studio Application Developer
C. Lau and A. Ryman |
178 |
Web services and business process management
F. Leymann, D. Roller, and M.-T. Schmidt |
198 |
Web services management approaches
J. A. Farrell and H. Kreger |
212 |
Securing Web services
M. Hondo, N. Nagaratnam, and A. Nadalin |
228 |
A platform for business-to-business sell-side, private exchanges and marketplaces
J. Sairamesh, R. Mohan, M. Kumar, L. Hasson, and C. Bender |
242 |
A framework-based approach to building private trading exchanges
S. Kumaran, Y. Huang, and J.-Y. Chung |
253 |
E-commerce interoperability with IBM's WebSphere Commerce products
D. M. Dias, S. L. Palmer, J. T. Rayfield, H. H. Shaikh, and T. K. Sreeram |
272 |
Applications of flexible pricing in business-to-business electronic commerce
M. Bichler, J. Kalagnanam, K. Katircioglu, A. J. King, R. D. Lawrence, H. S. Lee, G. Y. Lin, and Y. Lu |
287 |
Instance-level access control for business-to-business electronic commerce
R. Goodwin, S. F. Goh, and F. Y. Wu |
303 |
| |
|
Architectures for intelligent systems
J. F. Sowa |
331 |
ABLE: A toolkit for building multiagent autonomic systems
J. P. Bigus, D. A. Schlosnagle, J. R. Pilgrim, W. N. Mills III, and Y. Diao |
350 |
Intelligent probing: A cost-effective approach to fault diagnosis in computer networks
M. Brodie, I. Rish, and S. Ma |
372 |
Using a constraint satisfaction formulation and solution techniques for random test program generation
E. Bin, R. Emek, G. Shurek, and A. Ziv |
386 |
Using fuzzy control to maximize profits in service level management
Y. Diao, J. L. Hellerstein, and S. Parekh |
403 |
Automated generation of model cases for help-desk applications
S. M. Weiss and C. V. Apte |
421 |
A decision-tree-based symbolic rule induction system for text categorization
D. E. Johnson, F. J. Oles, T. Zhang, and T. Goetz |
428 |
A probabilistic estimation framework for predictive modeling analytics
C. V. Apte, R. Natarajan, E. P. D. Pednault, and F. A. Tipu |
438 |
Cross training and its application to skill mining
D. A. Oblinger, M. Reid, M. Brodie, and R. de Salvo Braz |
449 |
Predictive algorithms in the management of computer systems
R. Vilalta, C. V. Apte, J. L. Hellerstein, S. Ma, and S. M. Weiss |
461 |
Discovering actionable patterns in event data
J. L. Hellerstein, S. Ma, and C.-S. Perng |
475 |
Machine learning in a multimedia document retrieval framework
M. P. Perrone, G. F. Russell, and A. Ziq |
494 |
Applying machine learning to automated information graphics generation
M. X. Zhou, S. Ma, and Y. Feng |
504 |
Technical forum
Machine intelligence and the Turing Test
I. Brackenbury and Y. Ravin
An architecture of diversity for commonsense reasoning
J. McCarthy, M. Minsky, A. Sloman, L. Gong, T. Lau, L. Morgenstern, E. T. Mueller, D. Riecken, M. Singh, and P. Singh |
524 |
| |
|
Information integration: A research agenda
A. D. Jhingran, N. Mattos, and H. Pirahesh |
555 |
Information integration: A new generation of information technology
M. A. Roth, D. C. Wolfson, J. C. Kleewein, and C. J. Nelin |
563 |
Data integration through database federation
L. M. Haas, E. T. Lin, and M. A. Roth |
578 |
XQuery: An XML query language
D. Chamberlin |
597 |
XTABLES: Bridging relational technology and XML
J. E. Funderburk, G. Kiernan, J. Shanmugasundaram, E. Shekita, and C. Wei |
616 |
XML programming with SQL/XML and XQuery
J. E. Funderburk, S. Malaika, and B. Reinwald |
642 |
DB2 and Web services
S. Malaika, C. J. Nelin, R. Qu, B. Reinwald, and D. C. Wolfson |
666 |
Bringing together content and data management systems: Challenges and opportunities
A. Somani, D. Choy, and J. C. Kleewein |
686 |
The integration of business intelligence and knowledge management
W. F. Cody, J. T. Kreulen, V. Krishna, and W. S. Spangler |
697 |
Relational extensions for OLAP
N. Colossi, W. Malloy, and B. Reinwald |
714 |
Using flows in information integration
F. Leymann and D. Roller |
732 |
Extending the concept of transaction compensation
M. Chessell, C. Griffin, D. Vines, M. Butler, C. Ferreira, and P. Henderson |
743 |
Technical forum
Selling interrupt rights: A way to control unwanted e-mail and telephone calls
S. E. Fahlman |
759 |
| |
Note—Numbers in parentheses after issue numbers denote the issue order numbers.
|
HTML