Kategoria BISAC: Computers >> Logic Design

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a...

This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem, eitherto?ndthebestsolution, ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18 21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented...

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ] eck, Germany, September 8 10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ] eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr-...

This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). The symposium was held at Airth Castle, Scotland, UK, from July 26th to 29th, 2005, just prior to the IJCAI 2005 conference in Edinburgh. Previous SARA symposia took place at JacksonHole in Wyoming, USA (1994), Ville d Estrel in Qubec, Canada (1995), Asilomar in California, USA (1998), Horseshoe Bay, Texas, USA (2000), and Kananaskis, Alberta, Canada (2002). This was then the ?rst time that the s- posium was held in Europe. Continuing the tradition started with SARA 2000, the...

Constitutes the proceedings of the 9th International Conference on Theoretical Computer Science, 2005. The papers in this book address the issues in theoretical computer science and discusses topics as analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, and algebraic computation.

This book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, held in Klagenfurt, Austria in May/June 2006 as part of UNISCON 2006. The book presents 17 revised full papers and 5 revised short papers, organized in topical sections on concepts extraction and ontology, ontologies and task repository utilization, query processing, information retrieval and dialog processing, and NLP techniques.

The Latin-American Symposium on Dependable Computing, LADC, isthemain Latin-American event dedicated to the discussion of the many issues related to dependability in computer systems and networks. It is a forum for researchers and practitioners (from all over the world) to present and discuss their latest results and experiences in this ?eld. LADC2005, thesecondeditionofthisevent, followedonthesuccessofLADC 2003, which took place at the Polytechnic School of the University of S ao Paulo. It was organized by LaSiD, the Distributed Systems Laboratoryassociated with the Department of Computer...

RISE 2005 (http: //rise2005.ics.forth.gr/) was the second annual inter-national workshop of the ERCIM (European Research Consortium for Informatics and Mathematics - http: //www.ercim.org/) Working Group on Rapid Integration of Software Engineering techniques (RISE - http: //rise.uni.lu/). RISE is an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches being part of a methodological framework, which apply to the development of new or evolving applications and systems. RISE...

The refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.

Compiled from the proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France, in October 2002, this volume contains 13 invited papers and 17 revised full papers. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modelling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault tolerance.

This title constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001. The 25 revised full papers, presented together with an invited paper and a tool presentation paper, were carefully reviewed and selected from a total of 63 submissions. Among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software...

This volume contains (revised versions) of papers presented at the 14th Wo- shop on Languages and Compilers for Parallel Computing. Parallel computing used to be nearly synonymous with supercomputing research, but as parallel processing technologies have become common features of commodity processors and systems, the focus of this workshopalsohas shifted. For example, this wo- shop marks the ?rst time that compiler technology for power management has been recognized as a key aspect of parallel computing. Another pattern visible in the research presented is the continuing shift in emphasis...

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.

The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus...

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12-16,2004, in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software techn- ogy on a ?rm, mathematical basis. This goal is achieved by a large international cooperationwith contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned asbeing capableofprovidingsoftwarethatis(a)correct,...

NLDB 2005, the 10th International Conference on Applications of Natural L- guage to Information Systems, was held on June 15-17, 2005 at the University of Alicante, Spain. Since the ?rst NLDB conference in 1995 the main goal has been to provide a forum to discuss and disseminate research on the integration of natural language resources in information system engineering. The development and convergence of computing, telecommunications and information systems has already led to a revolution in the way that we work, communicate with each other, buy goods and use services, and even in the way...

This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.

The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on Markov Chains, Process Algebra, Wireless Networks, Queueing Theory and Applications of Queueing, Benchmarking and Bounding, Grid and Peer-to-Peer Systems.

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17-19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology, andtheInternationalScienti?cMeetingsO?ce(ISMO).Thissymposium brought together researchers and practitioners working on di?erent aspects of...