Denna webbshop är stängd för köp.
Klicka här för mer information

Sökresultat - Workshops in Computing

Sök »
Din sökning gav 67 träffar. Klicka på titeln för mer information eller lägg den i din kundvagn direkt. Om Du inte hittar titeln vid sökning se Söktips

Fördjupa min sökning

  • Algebra of Communicating Processes

    Algebra of Communicating Processes

    Häftad - 1994 - Engelska - ISBN: 9783540199090

    ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first worksh…

  • Persistent Object Systems

    Persistent Object Systems

    Häftad - 1990 - Engelska - ISBN: 9783540196266

    Persistent object systems are systems which support the creation and manipulation of objects in a uniform manner, regardless of how long they persist. This is in direct contrast with conventional systems where temporary objects are created and manip…

  • Z User Workshop, York 1991

    Z User Workshop, York 1991

    Häftad - 1992 - Engelska - ISBN: 9783540197805

    In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similar…

  • Functional Programming, Glasgow 1991

    Functional Programming, Glasgow 1991

    Häftad - 1992 - Engelska - ISBN: 9783540197607

    The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly…

  • 6th Refinement Workshop

    6th Refinement Workshop

    Häftad - 1994 - Engelska - ISBN: 9783540198864

    The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The w…

  • Functional Programming, Glasgow 1992

    Functional Programming, Glasgow 1992

    Häftad - 1993 - Engelska - ISBN: 9783540198208

    The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days…

  • Asynchronous Digital Circuit Design

    Asynchronous Digital Circuit Design

    Häftad - 1995 - Engelska - ISBN: 9783540199014

    As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Works…

  • Algebraic Methodology and Software Technology (AMAST?93)

    Algebraic Methodology and Software Technology (AMAST?93)

    Häftad - 1993 - Engelska - ISBN: 9783540198529

    The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and de…

  • Declarative Programming, Sasbachwalden 1991

    Declarative Programming, Sasbachwalden 1991

    Häftad - 1992 - Engelska - ISBN: 9783540197355

    Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysi…

  • AI and Cognitive Science ?91

    AI and Cognitive Science ?91

    Häftad - 1992 - Engelska - ISBN: 9783540197850

    This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), which was held at University College, Cork, Ireland on 19-20 September 1991. The main aims of this…

  • First International Workshop on Larch

    First International Workshop on Larch

    Häftad - 1993 - Engelska - ISBN: 9783540198048

    The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those…

  • AI and Cognitive Science ?90

    AI and Cognitive Science ?90

    Häftad - 1991 - Engelska - ISBN: 9783540196532

    This book contains the edited versions of papers presented at the 3rd Irish Conference on Artificial Intelligence and Cognitive Science, which was held at the University of Ulster at Jordanstown, Northern Ireland on 20-21 September 1990. The main ai…

  • Specifications of Database Systems

    Specifications of Database Systems

    Häftad - 1992 - Engelska - ISBN: 9783540197324

    Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification techniques have recognised that the database field…

  • Music Education: An Artificial Intelligence Approach

    Music Education: An Artificial Intelligence Approach

    Häftad - 1994 - Engelska - ISBN: 9783540198734

    The research fields of "artificial intelligence and music" and "cognitive musicology" are relative newcomers to the many interdisciplinary groupings based around the centre of AI and cognitive science. They are concerned with the computational study…

  • Incompleteness and Uncertainty in Information Systems

    Incompleteness and Uncertainty in Information Systems

    Häftad - 1994 - Engelska - ISBN: 9783540198970

    The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in…

  • Formal Methods for Trustworthy Computer Systems (FM89)

    Formal Methods for Trustworthy Computer Systems (FM89)

    Häftad - 1990 - Engelska - ISBN: 9783540196358

    The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom…

  • Database Programming Languages (DBPL-4)

    Database Programming Languages (DBPL-4)

    Häftad - 1994 - Engelska - ISBN: 9783540198536

    The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration…

  • Semantics for Concurrency

    Semantics for Concurrency

    Häftad - 1990 - Engelska - ISBN: 9783540196259

    The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree­ ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When…

  • Rules in Database Systems

    Rules in Database Systems

    Häftad - 1994 - Engelska - ISBN: 9783540198468

    This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database systems, and the papers presented covered a range of different aspects of database rule sy…

  • Software Re-use, Utrecht 1989

    Software Re-use, Utrecht 1989

    Häftad - 1991 - Engelska - ISBN: 9783540196525

    In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop. This…

  • Deontic Logic, Agency and Normative Systems

    Deontic Logic, Agency and Normative Systems

    Häftad - 1995 - Engelska - ISBN: 9783540760153

    This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to…

  • 7th UK Computer and Telecommunications Performance Engineering Workshop

    7th UK Computer and Telecommunications Performance Engineering Workshop

    Häftad - 1992 - Engelska - ISBN: 9783540197331

    Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Performance Engineering workshops were set up in 1985 to pr…

  • Persistent Object Systems

    Persistent Object Systems

    Häftad - 1995 - Engelska - ISBN: 9783540199120

    The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The attractive context and autumn warmth greeted the 53 partici…

  • Modelling Database Dynamics

    Modelling Database Dynamics

    Häftad - 1993 - Engelska - ISBN: 9783540198031

    Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Database literature has traditionall…

  • Logic Program Synthesis and Transformation

    Logic Program Synthesis and Transformation

    Häftad - 1993 - Engelska - ISBN: 9783540198062

    Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to…

  • Z User Workshop

    Z User Workshop

    Häftad - 1990 - Engelska - ISBN: 9783540196273

    The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program­ ming concepts and to verify the work by ca…

  • Code Generation ? Concepts, Tools, Techniques

    Code Generation ? Concepts, Tools, Techniques

    Häftad - 1992 - Engelska - ISBN: 9783540197577

    Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. The aim of the workshop was to evaluate current methods of code generation and to indicate…

  • Z User Workshop, Oxford 1990

    Z User Workshop, Oxford 1990

    Häftad - 1991 - Engelska - ISBN: 9783540196723

    The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recog…

  • Security and Persistence

    Security and Persistence

    Häftad - 1990 - Engelska - ISBN: 9783540196464

    During a short visit to Bremen in December 1989 John Rosenberg had several discussions with me about computer architecture. Although we had previously worked together for more than a decade in Australia we had not seen each other for over a year, fo…

  • Persistent Object Systems

    Persistent Object Systems

    Häftad - 1993 - Engelska - ISBN: 9783540198000

    The Fifth International Workshop on Persistent Object Systems took place in the historic setting of Centro Studi "I Cappuccini" della Cassa di Risparmio di San Miniato. San Miniato (pisa). Italy from 1-4 September 1992. The workshop continued the tr…

  • Object Orientation in Z

    Object Orientation in Z

    Häftad - 1992 - Engelska - ISBN: 9783540197782

    This collection of papers draws together a variety of approaches for adding ob­ ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grow…

  • IV Higher Order Workshop, Banff 1990

    IV Higher Order Workshop, Banff 1990

    Häftad - 1991 - Engelska - ISBN: 9783540196600

    It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear -…

  • Advances in Databases and Information Systems

    Advances in Databases and Information Systems

    Häftad - 1995 - Engelska - ISBN: 9783540760146

    This volume results from the regular sessions of the Second International Workshop of the Moscow ACM SIGMOD Chapter "Advances in Databases and Information Systems" (ADBIS'95) that took place 27th-30th June 1995, in Moscow, Russia. ADBIS'95 continues…

  • Specification and Verification of Concurrent Systems

    Specification and Verification of Concurrent Systems

    Häftad - 1990 - Engelska - ISBN: 9783540195818

    This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasin…

  • Semantics of Specification Languages (SoSL)

    Semantics of Specification Languages (SoSL)

    Häftad - 1994 - Engelska - ISBN: 9783540198543

    SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from…

  • Designing Correct Circuits

    Designing Correct Circuits

    Häftad - 1991 - Engelska - ISBN: 9783540196594

    These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to ha…

  • AI and Cognitive Science ?89

    AI and Cognitive Science ?89

    Häftad - 1990 - Engelska - ISBN: 9783540196082

    This volume contains the texts of papers presented at the Second Irish Conference on Artificial Intelligence and Cognitive Science, held at Dublin City University in September 1989. This Conference has now become the major annual forum in Ireland fo…

  • Interfaces to Database Systems (IDS94)

    Interfaces to Database Systems (IDS94)

    Häftad - 1994 - Engelska - ISBN: 9783540199106

    A brief survey of the major DBMS and HeI conference proceedings over the past 10 years will reveal isolated pockets of research in database user interfaces but little sense of being swept along with the general advances in DBMS technology and Hel. N…

  • Functional Programming, Glasgow 1990

    Functional Programming, Glasgow 1990

    Häftad - 1991 - Engelska - ISBN: 9783540196679

    The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited p…

  • 5th Refinement Workshop

    5th Refinement Workshop

    Häftad - 1992 - Engelska - ISBN: 9783540197522

    Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is wide…

  • 4th Refinement Workshop

    4th Refinement Workshop

    Häftad - 1991 - Engelska - ISBN: 9783540196570

    This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term re…

  • Women into Computing

    Women into Computing

    Häftad - 1991 - Engelska - ISBN: 9783540196488

    This book contains the majority of the papers presented at the 1990 Women into Computing Conference, together with selected papers from the 1989 and 1988 Conferences. In 1988, the main theme running through the Conference was that of dismay at the l…

  • NAPAW 92

    NAPAW 92

    Häftad - 1993 - Engelska - ISBN: 9783540198222

    This proceedings contains fourteen papers on process algebras presented at the First North American Process Algebra Workshop, held on 28 August 1992 in Stony Brook, New York. NAPAW was held in conjunc- tion with CONCUR 92. It is hoped that NAPAW wil…

  • Functional Programming, Glasgow 1994

    Functional Programming, Glasgow 1994

    Häftad - 1995 - Engelska - ISBN: 9783540199144

    This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and…

  • Security for Object-Oriented Systems

    Security for Object-Oriented Systems

    Häftad - 1994 - Engelska - ISBN: 9783540198772

    This volume contains papers from the OOPSLA-93 Conference workshop on Security for Object-Oriented Systems, held in Washington DC, USA, on 26 September 1993. The workshop addressed the issue of how to introduce an acceptable level of security into o…

  • Functional Programming

    Functional Programming

    Häftad - 1990 - Engelska - ISBN: 9783540196099

    Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aer…

  • Functional Programming, Glasgow 1993

    Functional Programming, Glasgow 1993

    Häftad - 1994 - Engelska - ISBN: 9783540198796

    The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an…

  • Theory and Formal Methods 1993

    Theory and Formal Methods 1993

    Häftad - 1993 - Engelska - ISBN: 9783540198420

    This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors…

  • Interfaces to Database Systems (IDS92)

    Interfaces to Database Systems (IDS92)

    Häftad - 1993 - Engelska - ISBN: 9783540198024

    Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas. The control of user interfaces to database systems is, therefore, significan…

  • 14th Information Retrieval Colloquium

    14th Information Retrieval Colloquium

    Häftad - 1993 - Engelska - ISBN: 9783540198086

    We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. The papers display very well the scope and breadth o…