Filter
(found 3423 products)
Book cover image
Some algebraic, combinatorial and algebraic-differential me- thods have beenused in recent years in order to solve many problems in control theory, by effective algorithms. Imple- mentation of these algorithms generally involves algebraic computation systems and tools. Software realizations are al- ready developed in an increasing number of research centres. The ...
Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13-15, 1991
Some algebraic, combinatorial and algebraic-differential me- thods have beenused in recent years in order to solve many problems in control theory, by effective algorithms. Imple- mentation of these algorithms generally involves algebraic computation systems and tools. Software realizations are al- ready developed in an increasing number of research centres. The goal of the First European Conference on Algebraic Com- puting in Control has been to present the main actual me- thods for analysis and control of systems which naturally lead to the use of algebraic computing. The maintopics and themes are as follows: mathematic tools in control theory that lead to effective algorithms, algebraic computing tools, that are available in the field of control theory, software realizations in control involving algebraic computing.
https://magrudy-assets.storage.googleapis.com/9783540544081.jpg
114.450000 USD

Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13-15, 1991

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on ...
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
https://magrudy-assets.storage.googleapis.com/9783642214363.jpg
114.450000 USD

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Paperback / softback
Book cover image
The Second Future Internet Symposium washeld during September 1-3, 2009 in Berlin, Germany. FIS 2009 provided a forum for leading researchers and pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. This second edition of the symposium con?rmed the ...
Future Internet - FIS 2009: Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers
The Second Future Internet Symposium washeld during September 1-3, 2009 in Berlin, Germany. FIS 2009 provided a forum for leading researchers and pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. This second edition of the symposium con?rmed the sentiment shared during the First Future Internet Symposium, held in Vienna in 2008: designing the Future Internet is a very exciting and challenging task, and a new research community needs to be built around it. With overa billionusers,today's Internet is arguablythe most successful- man artifact ever created. The Internet's physical infrastructure, software, and content now play an integral part of the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its ?fth decade, the Int- net has shown remarkable resilience and ?exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces growing challenges in meeting the needs of our knowledge society. Yet, Internet access moves increasingly from ?xed to mobile, the trend towards mobile usage is - deniable and predictions are that by 2014 about 2 billion users will access the Internet via mobile broadband services. This adds a new layer of complexity to the already immense challenges. Globally, many major initiatives are underway to address the need for more scienti?c research, physical infrastructure inve- ment, better education, and better utilization of the Internet. Japan, the USA andEuropeareinvestingheavilyin this area.
https://magrudy-assets.storage.googleapis.com/9783642149559.jpg
94.490000 USD

Future Internet - FIS 2009: Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers

Paperback / softback
Book cover image
This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001). The workshop was held at the Sheraton University City Hotel, in Philadelphia USA, and was hosted by the University of Pennsylvania. Active networks aim to ease ...
Active Networks: IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings
This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001). The workshop was held at the Sheraton University City Hotel, in Philadelphia USA, and was hosted by the University of Pennsylvania. Active networks aim to ease the introduction of network services by adding dynamic programmability to network devices such as routers, and making aspects of the programmability accessible to users. Active networks research has focused on the development and testing of active techniques, that enable dynamic programmability in a networked environment. These techniques have a wide variety of applications. At IWAN 2001 we aimed to bring together members of the various communities using active and related techniques, and provide a forum for discussion and collaboration, involving researchers, developers, and potential users. Papers presented at IWAN 2001 covered the application of active techniques to many aspects of network based communication, including active multicast, active QoS, active security, active GRIDs, and active management. In addition, there were papers on architectures, language, and API issues. Although there were only 22 submissions, the standard of the 10 accepted papers was very high. This indicated clearly a substantial amount of ongoing high quality research in active networking, despite the current unfavorable economic conditions in the telecommunications industry. The papers also demonstrated that the research is genuinely global, and justifies an international workshop of this type. We would like to thank all the authors who submitted their work.
https://magrudy-assets.storage.googleapis.com/9783540426783.jpg
103.950000 USD

Active Networks: IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings

Paperback / softback
Book cover image
This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate- matica e Aplica
Multimedia Tools for Communicating Mathematics
This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate- matica e Aplica
https://magrudy-assets.storage.googleapis.com/9783642627019.jpg
209.990000 USD

Multimedia Tools for Communicating Mathematics

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, held in Guilin, China, in August 2006. The book presents 39 revised full papers and 57 revised short papers together with 4 invited talks, addressing subjects from theoretical and methodological issues to applications. ...
Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, held in Guilin, China, in August 2006. The book presents 39 revised full papers and 57 revised short papers together with 4 invited talks, addressing subjects from theoretical and methodological issues to applications. Topics include agent models, agent architectures, agent-oriented software engineering, semantic Web service, collaboration, coordination and negotiation, and more.
https://magrudy-assets.storage.googleapis.com/9783540367079.jpg
166.950000 USD

Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings

Paperback / softback
Book cover image
This volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited and research papers presented at the 10th International Symposium on String Processing and Information Retrieval, SPIRE 2003, held in Manaus, Brazil. SPIRE ...
String Processing and Information Retrieval: 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings
This volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited and research papers presented at the 10th International Symposium on String Processing and Information Retrieval, SPIRE 2003, held in Manaus, Brazil. SPIRE 2003 received 54 full submissions from 17 countries, namely: - gentina(2), Australia(2), Brazil(9),Canada(1),Chile (4),Colombia(2),Czech Republic (1), Finland (10), France (1), Japan (2), Korea (5), Malaysia (1), P- tugal (2), Spain (6), Turkey (1), UK (1), USA (4) - the numbers in parentheses indicate the number of submissions from that country. In the nontrivial task of selecting the papers to be published in these proceedings we were fortunate to count on a very international program committee with 43 members, represe- ing all continents but one. These people, in turn, used the help of 40 external referees. During the review processall but a few papers had four reviewsinstead of the usual three, and at the end 21 submissions were accepted to be p- lished as full papers, yielding an acceptance rate of about 38%. An additional set of six short papers was also accepted. The technical program spans over the two well-de?ned scopes of SPIRE (string processing and information retrieval) with a number of papers also focusing on important application domains such as bioinformatics. SPIRE 2003 also features two invited speakers: Krishna Bharat (Google, Inc. ) and Joa ~o Meidanis (State Univ. of Campinas and Scylla Bioinformatics).
https://magrudy-assets.storage.googleapis.com/9783540201779.jpg
114.450000 USD

String Processing and Information Retrieval: 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings

Paperback / softback
Book cover image
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the ...
Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18-19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on An Algebraic Theory of Polymorphic T- poral Media. The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the 'Most Practical - per'award.
https://magrudy-assets.storage.googleapis.com/9783540222538.jpg
103.950000 USD

Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings

Paperback / softback
Book cover image
This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for inclusion in this volume. TPPP ...
Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings
This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for inclusion in this volume. TPPP '94 focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programs, semantics of languages, implementation of languages and systems, and architectural support for parallellism and massively parallel computation.
https://magrudy-assets.storage.googleapis.com/9783540591726.jpg
115.490000 USD

Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 9th International Workshop on Distributed Algorithms, WDAG '95, held in Le Mont-Saint-Michel, France in September 1995. Besides four invited contributions, 18 full revised research papers are presented, selected from a total of 48 submissions during a careful refereeing process. The papers document the ...
Distributed Algorithms: 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings
This book constitutes the proceedings of the 9th International Workshop on Distributed Algorithms, WDAG '95, held in Le Mont-Saint-Michel, France in September 1995. Besides four invited contributions, 18 full revised research papers are presented, selected from a total of 48 submissions during a careful refereeing process. The papers document the progress achieved in the area since the predecessor workshop (LNCS 857); they are organized in sections on asynchronous systems, networks, shared memory, Byzantine failures, self-stabilization, and detection of properties.
https://magrudy-assets.storage.googleapis.com/9783540602743.jpg
103.950000 USD

Distributed Algorithms: 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings

Paperback / softback
Book cover image
On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in Kansai Science City, Japan. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. ...
Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings
On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in Kansai Science City, Japan. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. In 2004 the conference left Europe for the first time and moved to Japan. Japan and its neighboring countries are intensifying their efforts to improve software engineering excellence, so it was a logical step to select Japan as the venue for PROFES 2004. The purpose of the conference is to bring to light the most recent findings and results in the area and to stimulate discussion between researchers, experienced professionals, and technology providers. The large number of participants coming from industry confirms that the conference provides a variety of up-to-date topics and tackles industry problems. The main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by software process assessment, software measurement, process modeling, and technology transfer. It has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice and the relevant research results from academia. This is reflected in the 41 full papers, which are a balanced mix of academic papers as well as industrial experience reports.
https://magrudy-assets.storage.googleapis.com/9783540214212.jpg
125.990000 USD

Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings

Paperback / softback
Book cover image
This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001. The workshop was held on July 30 and 31, 2001 at Purdue University, West Lafayette, Indiana, USA. It brought together designers, users, and researchers of the OpenMP application programming int- face. OpenMP has ...
OpenMP Shared Memory Parallel Programming: International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001. The workshop was held on July 30 and 31, 2001 at Purdue University, West Lafayette, Indiana, USA. It brought together designers, users, and researchers of the OpenMP application programming int- face. OpenMP has emerged as the standard for shared memory parallel progr- ming. For the rst time, it is possible to write parallel programs that are portable across the majority of shared memory parallel computers. WOMPAT 2001 s- ved as a forum for all those interested in OpenMP and allowed them to meet, share ideas and experiences, and discuss the latest developments of OpenMP and its applications. WOMPAT 2001 was co-sponsored by the OpenMP Architecture Review Board (ARB). It followed a series of workshops on OpenMP, including WOMPAT 2000, EWOMP 2000, and WOMPEI 2000. For WOMPAT 2001, we solicited papers formally and published them in the form of this book. The authors submitted extended abstracts, which were reviewed by the program committee. All submitted papers were accepted. The authors were asked to prepare a nal paper in which they addressed the reviewers comments. The proceedings, in the form of this book, were created in time to be available at the workshop. In this way, we hope to have brought out a timely report of ongoing OpenMP-related research and development e orts as well as ideas for future improvements.
https://magrudy-assets.storage.googleapis.com/9783540423461.jpg
103.950000 USD

OpenMP Shared Memory Parallel Programming: International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings

Paperback / softback
Book cover image
Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture. This book shows how object-oriented software frameworks can be ...
Software Frameworks and Embedded Control Systems
Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture. This book shows how object-oriented software frameworks can be applied to embedded control systems. A case study of a framework using a set of application dependent design patterns for the orbit control system of satellites is presented.
https://magrudy-assets.storage.googleapis.com/9783540431893.jpg
104.990000 USD

Software Frameworks and Embedded Control Systems

by Alessandro Pasetti
Paperback / softback
Book cover image
The 2nd European AcrossGrids Conference (AxGrids 2004) aimed to examine the state ofthe artinresearchandtechnologydevelopmentsinGridComputing, and provide a forum for the presentation and exchange of views on the latest grid-related research results and future work. The conference was organized by CrossGrid, a European Union-funded project on Grid research, GRIDSTART, the EU-sponsored ...
Grid Computing: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers
The 2nd European AcrossGrids Conference (AxGrids 2004) aimed to examine the state ofthe artinresearchandtechnologydevelopmentsinGridComputing, and provide a forum for the presentation and exchange of views on the latest grid-related research results and future work. The conference was organized by CrossGrid, a European Union-funded project on Grid research, GRIDSTART, the EU-sponsored initiative for consolidating technical advances in grids in - rope, and the University of Cyprus. It continued on from the successful 1st European Across Grids Conference, held in Santiago de Compostela, Spain, in February 2003. AxGrids 2004 was run in conjunction with the 2nd IST Conc- tation Meeting on Grid Research, which brought together representatives from allEU-funded projectsonGridresearchforanexchangeofexperiencesandideas regarding recent developments in European grid research. TheconferencewashostedinNicosia,thecapitalofCyprus,andattracted- thorsandattendeesfromalloverEurope,theUSA,andEastAsia. TheProgram Committee of the conference consisted of 37 people from both academia and - dustry, and there were 13 external reviewers. Overall, AxGrids 2004 attracted 57 paper submissions (42 full papers and 15 short posters). Papers underwent a thorough review by several Program Committee members and external - viewers. After the review, the Program Chair decided to accept 26 papers (out of 42) for regular presentations, 8 papers for short presentations, and 13 - pers for poster presentations. Accepted papers underwent a second review for inclusion this postproceedings volume, published as part of Springer's Lecture Notes in Computer Science series.
https://magrudy-assets.storage.googleapis.com/9783540228882.jpg
103.950000 USD

Grid Computing: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers

Paperback / softback
Book cover image
For the fourth time this year, in cooperation with Springer-Verlag, the Eu- peanConferenceonObject-OrientedProgramming(ECOOP)conferenceseries is gladto o?erthe object-orientedresearchcommunity the ECOOP2000Wo- shop Reader, a compendium of workshop reports, panel transcripts and poster abstractspertainingtotheECOOP2000conference,heldinCannesandSophia Antipolis from 12 to 16 June. WorkshopReports Thisyear,ECOOP2000hosted22high-qualityworkshopscoveringalargesp- trum ofhotresearchtopics.Theseworkshopswerechosenfrom38 proposalsby a workshopselectioncommittee, followinga tight peer reviewprocess. Our?rst thanks ...
Object-Oriented Technology: ECOOP 2000 Workshop Reader: ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
For the fourth time this year, in cooperation with Springer-Verlag, the Eu- peanConferenceonObject-OrientedProgramming(ECOOP)conferenceseries is gladto o?erthe object-orientedresearchcommunity the ECOOP2000Wo- shop Reader, a compendium of workshop reports, panel transcripts and poster abstractspertainingtotheECOOP2000conference,heldinCannesandSophia Antipolis from 12 to 16 June. WorkshopReports Thisyear,ECOOP2000hosted22high-qualityworkshopscoveringalargesp- trum ofhotresearchtopics.Theseworkshopswerechosenfrom38 proposalsby a workshopselectioncommittee, followinga tight peer reviewprocess. Our?rst thanks go to the members of this selection committee who worked hard during late 1999and early 2000to select the best proposals,proposepotential merges, and help those selected to enhance their ?nal material. Given the quality of the proposals,theselectionwastough;wethereforeoweaspecialthankstoallofthe submitters fortheir e?orts,whichhelped inmakingtheECOOP2000workshop programa success. Together,the22workshopsheldinconjunctionwiththeconferenceattracted more than 500 position papers, and so gathered more that 500 participants on ' the Ecole Sup' erieure en Sciences Informatiques/Institut National de Recherche enInformatiqueetenAutomatique(ESSI/INRIA)campusofSophiaAntipolis on12-13June2000.Youwill?ndinthis volumethereportsfromtheworkshop organizersof 18 of these. Following the e?orts of our preceding workshop chairs, we strived for hi- quality value-adding and open-ended workshop reports. The result, as you can judge in the following pages, is a tremendous thought-provoking snapshot of thecurrentresearchinobject-orientation,fullofpointersforfurtherexploration of the covered topics. We have to thank in a very special way our workshop organizerswho,despitetheadditionalburdenputontheirshoulders,didagreat job.
https://magrudy-assets.storage.googleapis.com/9783540415138.jpg
103.950000 USD

Object-Oriented Technology: ECOOP 2000 Workshop Reader: ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with ...
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
https://magrudy-assets.storage.googleapis.com/9783540421245.jpg
103.950000 USD

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Paperback / softback
Book cover image
Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The ...
UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings
Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year. This will not only improve and enhance UML itself, including standard facilities for diagram interchange, but also make it fully integrated with other modeling technologies from the OMG, such as Meta-Object Facility (MOF) and XML Metadata Interchange (XMI). The Object Constraint Language, which has become an important vehicle for communicating detailed insights between UML researchers and practitioners, will have a much expanded speci?cation and be better integrated with the UML. The popularity of UML signi?es the possibility of a shift of immense prop- tions in the practice of software development, at least comparable to the shift from the use of assembly language to third-generation or high-level p- gramming languages. We dream of describing the behavior of software systems in terms of models, closely related to the needs of the enterprise being served, and being able to routinely translate these models automatically into executing p- grams on distributed computing systems. The OMG is promoting Model-Driven Architecture (MDA) as a signi?cant step towards this vision, and the MDA c- cept has received considerable support within the IT industry.
https://magrudy-assets.storage.googleapis.com/9783540442547.jpg
135.450000 USD

UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings

Paperback / softback
Book cover image
This book introduces the parallel and distributed approach to logic programming, examining existing models of distributed logic programming, and proposing an alternative framework for distributed logic programming using extended Petri nets. The hardwired realization of the Petri net based framework is presented in detail, and principles of mapping of a ...
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines
This book introduces the parallel and distributed approach to logic programming, examining existing models of distributed logic programming, and proposing an alternative framework for distributed logic programming using extended Petri nets. The hardwired realization of the Petri net based framework is presented in detail, and principles of mapping of a logic program on to the proposed framework are outlined. Finally, the book explores the scope of Petri net models in designing next-generation deductive database machines.
https://magrudy-assets.storage.googleapis.com/9783642070082.jpg
208.950000 USD

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines

by Ajit K. Mandal, Amit Konar, Alakananda Bhattacharya
Paperback / softback
Book cover image
This book constitutes the proceedings of the 6th Euro Symposium on Systems Analysis and Design, SIGSAND/PLAIS 2013, held in Gdansk, Poland, in September 2013. The objective of this symposium is to promote and develop high-quality research on all issues related to systems analysis and design (SAND). It provides a forum ...
Information Systems: Development, Learning, Security: 6th SIGSAND/PLAIS EuroSymposium 2013, Gdansk, Poland, September 26, 2013, Proceedings
This book constitutes the proceedings of the 6th Euro Symposium on Systems Analysis and Design, SIGSAND/PLAIS 2013, held in Gdansk, Poland, in September 2013. The objective of this symposium is to promote and develop high-quality research on all issues related to systems analysis and design (SAND). It provides a forum for SAND researchers and practitioners in Europe and beyond to interact, collaborate, and develop their field. The 8 papers were carefully reviewed and selected with an acceptance rate of 40% and reflect the current trends in systems analysis and design. The contributions are organized into topical sections on information systems development, information systems security and information systems learning.
https://magrudy-assets.storage.googleapis.com/9783642408540.jpg
75.600000 USD

Information Systems: Development, Learning, Security: 6th SIGSAND/PLAIS EuroSymposium 2013, Gdansk, Poland, September 26, 2013, Proceedings

Paperback / softback
Book cover image
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and ...
First-Order Programming Theories
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming languages, and it also attempts to find practical applications in the areas of program specification, verification and programming language design. Many different approaches with different mathematical frameworks have been proposed as a basis for programming theory. They differ in the mathe matical machinery they use to define and investigate programs and program properties and they also differ in the concepts they deal with to understand the programming paradigm. Different approaches use different tools and viewpoints to characterize the data environment of programs. Most of the approaches are related to mathe matical logic and they provide their own logic. These logics, however, are very eclectic since they use special entities to reflect a special world of programs, and also, they are usually incomparable with each other. This Babel's mess irritated us and we decided to peel off the eclectic com ponents and try to answer all the questions by using classical first-order logic.
https://magrudy-assets.storage.googleapis.com/9783642635038.jpg
146.990000 USD

First-Order Programming Theories

by Laszlo Ury, Tamas Gergely
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries held in Pisa, Italy, in September 1997. The volume presents 23 revised full papers selected from 77 submissions. Also included are two invited contributions. The papers are organized in topical sections ...
Research and Advanced Technology for Digital Libraries: First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings
This book constitutes the refereed proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries held in Pisa, Italy, in September 1997. The volume presents 23 revised full papers selected from 77 submissions. Also included are two invited contributions. The papers are organized in topical sections on supporting user interfaces, metadata, information retrieval, DL architectures, multilingual information retrieval, structured documents, and case studies.
https://magrudy-assets.storage.googleapis.com/9783540635543.jpg
124.950000 USD

Research and Advanced Technology for Digital Libraries: First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings

Paperback / softback
Book cover image
Multimedia Systems discusses the basic characteristics of multimedia operating systems, networking and communication, and multimedia middleware systems. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an ...
Multimedia Systems
Multimedia Systems discusses the basic characteristics of multimedia operating systems, networking and communication, and multimedia middleware systems. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices. Fundamental characteristics of multimedia operating and distributed communication systems are presented, especially scheduling algorithms and other OS supporting approaches for multimedia applications with soft-real-time deadlines, multimedia file systems and servers with their decision algorithms for data placement, scheduling and buffer management, multimedia communication, transport, and streaming protocols, services with their error control, congestion control and other Quality of Service aware and adaptive algorithms, synchronization services with their skew control methods, and group communication with their group coordinating algorithms and other distributed services.
https://magrudy-assets.storage.googleapis.com/9783642074127.jpg
89.240000 USD

Multimedia Systems

by Klara Nahrstedt, Ralf Steinmetz
Paperback / softback
Book cover image
Dieses Buch enthalt die Beitrage der 4. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in Munchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitrage, darunter 4 eingeladene, sind teils in deutscher, uberwiegend aber in englischer Sprache verfasst. Insgesamt wird durch diese ...
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20
Dieses Buch enthalt die Beitrage der 4. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in Munchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitrage, darunter 4 eingeladene, sind teils in deutscher, uberwiegend aber in englischer Sprache verfasst. Insgesamt wird durch diese Beitrage die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten zwei Jahren vor allem in Europa dokumentiert. Samtliche Beitrage berichten uber neue Forschungs- oder Entwicklungsergebnisse.
https://magrudy-assets.storage.googleapis.com/9783540515654.jpg
156.450000 USD

Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20

Paperback / softback
Book cover image
Middleware is a critical foundation needed to leverage the development of a wide range of mobile and ubiquitous applications. Intrinsic challenges when building such middleware require the combination of expertise from areas like distributed systems, networking, software engineering, and application development. This textbook provides a comprehensive introduction to the main ...
Middleware for Network Eccentric and Mobile Applications
Middleware is a critical foundation needed to leverage the development of a wide range of mobile and ubiquitous applications. Intrinsic challenges when building such middleware require the combination of expertise from areas like distributed systems, networking, software engineering, and application development. This textbook provides a comprehensive introduction to the main fundamental problems, technologies, paradigms, and solutions of concern to developers of middleware for mobile environments. The contributions are grouped into four parts, on networking and programming issues, communication models, middleware issues, and application issues. Each chapter is structured as a self-contained tutorial, presenting an overview of a specific topic and the state-of-the-art solutions for the related problems. In addition, the book also includes an authoritative reference list. The material has been successfully used in several thematic training schools organized by the ESF MiNEMA (Middleware for Network Eccentric and Mobile Applications) program, and the book's organization and presentation is ideal for an advanced course on middleware.
https://magrudy-assets.storage.googleapis.com/9783642100536.jpg
114.450000 USD

Middleware for Network Eccentric and Mobile Applications

Paperback / softback
Book cover image
Business-to-business (B2B) integration is a buzzword which has been used a lot in recent years, with a variety of meanings. Starting with a clear technical definition of this term and its relation to topics like A2A (Application-to-Application), ASP (Application Service Provider), A2A, and B2C (Business-to-Consumer), Christoph Bussler outlines a complete ...
B2B Integration: Concepts and Architecture
Business-to-business (B2B) integration is a buzzword which has been used a lot in recent years, with a variety of meanings. Starting with a clear technical definition of this term and its relation to topics like A2A (Application-to-Application), ASP (Application Service Provider), A2A, and B2C (Business-to-Consumer), Christoph Bussler outlines a complete and consistent B2B integration architecture based on a coherent conceptual model. He shows that B2B integration not only requires the exchange of business events between distributed trading partners across networks like the Internet, but also demands back-end application integration within business processes, and thus goes far beyond traditional approaches to enterprise application integration approaches. His detailed presentation describes how B2B integration standards like RosettaNet or SWIFT, the application integration standard J2EE Connector Architecture and basic standards like XML act together in order to enable business process integration. The book is the first of its kind that discusses B2B concepts and architectures independent of specific and short-term industrial or academic approaches and thus provides solid and long-lasting knowledge for researchers, students, and professionals interested in the field of B2B integration.
https://magrudy-assets.storage.googleapis.com/9783642077975.jpg
114.450000 USD

B2B Integration: Concepts and Architecture

by Christoph Bussler
Paperback / softback
Book cover image
TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and ...
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings
TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.
https://magrudy-assets.storage.googleapis.com/9783540544159.jpg
156.450000 USD

Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings

Paperback / softback
Book cover image
In 1998, SC24, the subcommittee of ISO/IEC JTC 1 concerned with computer graphics and image processing, completed work on a new standard for multimedia presentation; the PREMO standard (Presentation Environment for Multimedia Objects) is published under the official reference ISO/IEC 14478. PREMO essentially provides a middleware specification for multimedia programming ...
PREMO: A Framework for Multimedia Middleware: Specification, Rationale, and Java Binding
In 1998, SC24, the subcommittee of ISO/IEC JTC 1 concerned with computer graphics and image processing, completed work on a new standard for multimedia presentation; the PREMO standard (Presentation Environment for Multimedia Objects) is published under the official reference ISO/IEC 14478. PREMO essentially provides a middleware specification for multimedia programming - more generally it also serves as a reference model for distributed multimedia. This book does not attempt to replace the official standard but provides a readable version of the basic concepts, presents some features of the PREMO objects in detail, highlights the reasons for specific design decisions, and gives simple examples and motivation claryfying the underlying concepts. A particularly helpful feature is that the authors provide detailed specifications of the PREMO objects in Java. Mainly for students and professionals who need to improve their understanding of the issues involved in distributed multimedia.
https://magrudy-assets.storage.googleapis.com/9783540667209.jpg
103.950000 USD

PREMO: A Framework for Multimedia Middleware: Specification, Rationale, and Java Binding

by M. Scott Marshall, I. Herman, D. J. Duke
Paperback / softback
Book cover image
This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics | SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998. The SOFSEM conference series started in 1974 as a local event in Czec- slovakia and from the very ...
SOFSEM '98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings
This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics | SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998. The SOFSEM conference series started in 1974 as a local event in Czec- slovakia and from the very beginning became the top domestic event in software theory and practice. It has been unique in several respects, being a mix of w- ter school, conference, and advanced workshop. It brought together professionals from academia and industry and provided an opportunity for both theoreti- ans and practitioners to learn about the new developments in a broad range of computer science subjects via a series of invited talks. The conference gradually evolved into an international event, keeping most of its original characteristics. It features a relatively large number of invited talks, refereed papers (contributed papers), and refereed poster contributions. In addition, time and space for ?ash communications, industrial presentations, and exhibitions are provided. SOFSEM is every year result of a considerable e ort by a number of p- ple. Its Advisory Board (Dines Bj rner, Manfred Broy, Michal Chytil, Peter van Emde Boas, Georg Gottlob, Keith G. Je rey, Maria Zemankova) and - dowment Board (Keith G. Je rey, Jan Pavelka, Franti sek Pl a sil, Igor Pr vara, Branislav Rovan, vice-chair, Jan Staudek, Ji r Wiedermann, chair) is in process of being transformed into a Steering Committee.
https://magrudy-assets.storage.googleapis.com/9783540652601.jpg
135.450000 USD

SOFSEM '98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997. The volume presents 37 revised full papers carefully selected from a total of 132 submissions; also included are the abstracts of two invited talks ...
Principles and Practice of Constraint Programming - CP97: Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997
This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997. The volume presents 37 revised full papers carefully selected from a total of 132 submissions; also included are the abstracts of two invited talks and three tutorials. The papers address all current aspects of constraint programming. Among the topics covered are constraint matching, constraint languages, set constraints, constraint search, constraint satisfaction problems, scheduling, constraint routing, temporal constraints, constraint graphs, local search, object-oriented constraint programming, etc.
https://magrudy-assets.storage.googleapis.com/9783540637530.jpg
136.490000 USD

Principles and Practice of Constraint Programming - CP97: Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997

Paperback / softback
Book cover image
This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on ...
SOFSEM '96: Theory and Practice of Informatics: 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings
This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers selected by the program committee for inclusion in the proceedings.
https://magrudy-assets.storage.googleapis.com/9783540619949.jpg
135.450000 USD

SOFSEM '96: Theory and Practice of Informatics: 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings

Paperback / softback