Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop in...
详细信息
ISBN:
(数字)9783540483892
ISBN:
(纸本)9783540579328
Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working on very different aspects of object-oriented distributed systems. The workshop was held as part of the 1993 European Conference on Object-Oriented programming (ECOOP '93). Over fifty people submitted position papers and participated in the workshop, and almost half presented papers. The presented papers were carefully reviewed and revised after the workshop, and 14 papers were selected for this volume.
This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, WWCA'97, held in Tsukuba, Japan, in March 1997.;The volume prese...
详细信息
ISBN:
(数字)9783540694304
ISBN:
(纸本)9783540633433
This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, WWCA'97, held in Tsukuba, Japan, in March 1997.;The volume presents 15 revised full papers selected from 50 submissions as well as 15 revised invited papers by leading researchers in this emerging area and two keynotes. The papers are organized in topical sections on distributed programming languages and systems, distributed object environments, cooperative computation, collaboration support Systems, collaborative media, novel distributed applications, Internet and protocols, distributed system platforms, mobile computing, and application gateways.
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering techniques, CEE-SET 2008, held in Brno, Czech Republic, in...
详细信息
ISBN:
(数字)9783642223860
ISBN:
(纸本)9783642223853
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008. The 20 revised full papers presented together with a keynote speech were carefully reviewed and selected from 69 initial submissions. The papers are organized in topical sections on requirements specification, design, modeling, software product lines, code generation, project management, and quality.
This book is written for practitioners of software development and for students of computer science who are interested in using the Java language to construct data structures. The book assumes general knowledge of com...
详细信息
ISBN:
(数字)9783642958519
ISBN:
(纸本)9783642958533
This book is written for practitioners of software development and for students of computer science who are interested in using the Java language to construct data structures. The book assumes general knowledge of computer programming but no experience of Java programming or object modeling for the readers. It intro duces the Java language and object model by going through examples of data modeling. The book emphasizes programming skills for developing various types of data structure and fundamental techniques for complexity analysis. The program ming skills are necessary for software development. The analysis techniques are needed to ensure performance of programs. The author has been responsible for teaching a data structure course for years. The book carries out his expectations for proficiency in both programming and complexity analysis from students. Several features of the book distinguish it from other books on data struc tures. A challenge for the book is relating the complexity analysis to the Java Virtual Machine, which isolates Java programmers from platform issues. The book devotes a chapter to discuss the structure of Java class files and the Java Virtual Machine. The book presents the problem of maximum flow and imple ments algorithms in Java to evaluate maximum flow for networks. It introduces persistent data structures, which may be included by some practitioners in their projects.
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. Agent concepts hold great promise for responding to the new realities of large-scale distribute...
详细信息
ISBN:
(数字)9783540731313
ISBN:
(纸本)9783540731306
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. Agent concepts hold great promise for responding to the new realities of large-scale distributed systems. Multi-agent systems (MASs) and their underlying theories provide a more natural support for ensuring important agent properties, such as autonomy, environment heterogeneity, organization and openness. Nevertheless, a software agent is an inherently more complex abstraction, posing new challenges to software engineering. Without adequate development te- niques and methods, MASs will not be sufficiently dependable, thus making their wide adoption by the industry more difficult. The dependability of a computing system is its ability to deliver a service that can be justifiably trusted. It is a singular time for dependable distributed systems, since the traditional models we use to express the relationships between a computational process and its environment are changing from the standard deterministic types into ones that are more distributed and dynamic. This served as a guiding principle for planning the Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006) workshop, starting with selecting the theme, “building dependable multi-agent systems.” It acknowledges our belief in the increasingly vital role dependability plays as an essential element of MAS development.
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.;The 18 papers presented in this volume were carefully ...
详细信息
ISBN:
(数字)9783319997254
ISBN:
(纸本)9783319997247
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.;The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
暂无评论