Proceedings in Information and Communications Technology

Theory and Practice of Computation

2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Editors: Nishizaki, S.-y., Numao, M., Caro, J., Suarez, M.T. (Eds.)

  • Recent research trend of Computer Science Study in Japan and Philippines
  • Advanced studies in theoretical computer science, especially, programming language theory and bioinformatics
  • Practical studies in computer science, especially, human behavior modeling
  • Papers highlight the seamless integration and blend of theoretical and practical computer science in developing working systems
see more benefits

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-4-431-54436-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-4-431-54435-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)–2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila and was devoted to theoretical and practical approaches to computation. The 22 revised full papers presented in this volume were carefully reviewed. They deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing.

Table of contents (22 chapters)

  • On Generating Soft Real-Time Programs for Non-Real-Time Environments

    Senthooran, Ilankaikone (et al.)

    Pages 1-12

  • A Formal Ontology of Interactions with Intensional Quantitative Semantics

    Tomita, Takashi (et al.)

    Pages 13-33

  • An Object Calculus with Remote Method Invocation

    Matsumoto, Shohei (et al.)

    Pages 34-49

  • A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams

    Malinao, Jasmine A. (et al.)

    Pages 50-63

  • Some Improvements of Parallel Random Projection for Finding Planted (l,d)-Motifs

    Clemente, Jhoirene B. (et al.)

    Pages 64-81

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-4-431-54436-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-4-431-54435-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theory and Practice of Computation
Book Subtitle
2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Editors
  • Shin-ya Nishizaki
  • Masayuki Numao
  • Jaime Caro
  • Merlin Teodosia Suarez
Series Title
Proceedings in Information and Communications Technology
Series Volume
7
Copyright
2013
Publisher
Springer Japan
Copyright Holder
Springer Japan
eBook ISBN
978-4-431-54436-4
DOI
10.1007/978-4-431-54436-4
Softcover ISBN
978-4-431-54435-7
Series ISSN
1867-2914
Edition Number
1
Number of Pages
XII, 295
Number of Illustrations and Tables
130 b/w illustrations
Topics