The Community for Technology Leaders
Green Image
Issue No. 02 - February (vol. 11)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Applying Formal Specification to Software Development in Industry (PDF)

I.J. Hayes , Programming Research Group, Computing Laboratory, Oxford University
pp. 169-178

IOTA: A Modular Programming System (Abstract)

T. Yuasa , Research Institute for Mathematical Sciences, Kyoto University
pp. 179-187

Some Empirical Observations on Program Behavior with Applications to Program Restructuring (Abstract)

J.B. Peachey , Department of Agricultural Economics, University of Saskatchewan
pp. 188-193

Product-Form Synthesis of Queueing Networks (Abstract)

S. Balsamo , Dipartimento di Informatica, University of Pisa
pp. 194-199

Evaluation of the File Redundancy in Distributed Database Systems (Abstract)

S. Muro , Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University
pp. 199-205

Implementing Distributed Read-Only Transactions (Abstract)

A. Chan , Computer Corporation of America, 4 Cambridge Center
pp. 205-212

On the File Design Problem for Partial Match Retrieval (PDF)

null Hung-Chang Du , Department of Computer Science, University of Minnesota
pp. 213-222

Hardware-Related Software Errors: Measurement and Analysis (Abstract)

R.K. Iyer , Computer Systems Group at the Coordinated Science Laboratory and the Department of Electrical and Computer Engineering, University of Illinois
pp. 223-231

Calls for Papers (PDF)

pp. 240
92 ms
(Ver 3.3 (11022016))