Theoretical Aspects of Computing - ICTAC 2005

Theoretical Aspects of Computing - ICTAC 2005

Author: Dang Van Hung

Publisher: Springer Science & Business Media

Published: 2005-10-04

Total Pages: 628

ISBN-13: 3540291075

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.


Theoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006

Author: Kamel Barkaoui

Publisher: Springer Science & Business Media

Published: 2006-10-30

Total Pages: 384

ISBN-13: 3540488154

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with three invited talks and summaries of two tutorials were carefully reviewed and selected from 78 submissions.


Theoretical Aspects of Computing - ICTAC 2015

Theoretical Aspects of Computing - ICTAC 2015

Author: Martin Leucker

Publisher: Springer

Published: 2015-10-08

Total Pages: 628

ISBN-13: 3319251503

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.


Theoretical Aspects of Computing - ICTAC 2008

Theoretical Aspects of Computing - ICTAC 2008

Author: John S. Fitzgerald

Publisher: Springer Science & Business Media

Published: 2008-08-18

Total Pages: 466

ISBN-13: 3540857613

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.


Theoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

Author: Cliff B. Jones

Publisher: Springer Science & Business Media

Published: 2007-09-12

Total Pages: 491

ISBN-13: 3540752900

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.


Theoretical Aspects of Computing -- ICTAC 2013

Theoretical Aspects of Computing -- ICTAC 2013

Author: Zhiming Liu

Publisher: Springer

Published: 2013-08-30

Total Pages: 455

ISBN-13: 3642397182

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.


Theoretical Aspects of Computing - ICTAC 2009

Theoretical Aspects of Computing - ICTAC 2009

Author: Martin Leucker

Publisher: Springer Science & Business Media

Published: 2009-07-29

Total Pages: 366

ISBN-13: 3642034659

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009 held in Kuala Lumpur, Malaysia, in August 2009. The 17 revised full papers and 3 revised papers presented with 4 invited lectures were carefully reviewed and selected from 81 submissions. The papers address all theoretical aspects and methodological issues of computing, such as software specification, refinement, verification and testing, model checking and theorem proving, software architectures, coordination and feature interaction, integration of theories, formal and engineering methods and tools, models of concurrency, security, and mobility, parallel, distributed, and internet-based (grid) computing, real-time, embedded and hybrid systems, automata theory and formal languages, principles and semantics of languages, logics and their applications, type and category theory in computer science, case studies, theories, tools and experiments of verified systems, service-oriented architectures, as well as domain modelling and domain-specific technology.


Theoretical Aspects of Computing - ICTAC 2004

Theoretical Aspects of Computing - ICTAC 2004

Author: Zhiming Liu

Publisher: Springer Science & Business Media

Published: 2005-03-08

Total Pages: 574

ISBN-13: 3540253041

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.


Theoretical Aspects of Computing - ICTAC 2012

Theoretical Aspects of Computing - ICTAC 2012

Author: Abhik Roychoudhury

Publisher: Springer

Published: 2012-08-29

Total Pages: 269

ISBN-13: 3642329438

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.


Theoretical Aspects of Computing – ICTAC 2017

Theoretical Aspects of Computing – ICTAC 2017

Author: Dang Van Hung

Publisher: Springer

Published: 2017-09-28

Total Pages: 317

ISBN-13: 3319677292

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.