Paolo Ciancarini – författare

Visar alla böcker från författaren Paolo Ciancarini. Handla med fri frakt och snabb leverans.

38 produkter

Kategorier

38 produkter

New Frontiers for Entertainment Computing
IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy
AvPaolo Ciancarini,Ryohei Nakatsum. fl.
Inbunden, Engelska, 2008
581 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium held in Milan, Italy on September 7-10, 2008.The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
New Frontiers for Entertainment Computing
IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy
AvMarco Roccetti,Matthias Rauterbergm. fl.
E-bok
PDF, Engelska, 2008
718 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium held in Milan, Italy on September 7-10, 2008.
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
AvRoberto Gorrieri,Alessandro Fantechim. fl.
E-bok
PDF, Engelska, 2013
2 948 kr
Läs direkt efter köp
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Code Chronicles
The Art of Storytelling in Software
AvPaolo Ciancarini,Ahmed El-Batanonym. fl.
Häftad, Engelska, 2027
1 881 kr
Kommande
To write effective code and applications, software engineers and developers have to be able to frame user/customer needs effectively, capture program requirements and use cases, and then develop suitable software architecture and code to meet the need. Code Chronicles: The Art of Storytelling in Software helps readers write better software by teaching readers how to write stories in the context of software development. The book explains the roots of storytelling, clarifies that storytelling historically has been a very powerful tool used to pass along knowledge, presents where storytelling is already present implicitly in software development, discusses how to make it more effective, and finally present experiences in storytelling from software engineering and other scientific disciplines, to foster a full understanding of its power. The authors comprehensively present the pivotal role of storytelling in writing software, and they explain how to do it in a simple, hands-on approach, also taking advantage of clear case studies written by experts in the field.Helps readers understand that stories are fully fledged tools to convey technical, managerial, organizational, and scientific knowledge, often more effective than formal languageExplains how to write proper stories to maximize their effectiveness in conveying informationPresents the different phases of software development where stories can be particularly useful
Farina - Digital Transformation
Engineering Requirements and Political, Economic, and Philosophical Challenges
AvMirko Farina,Paolo Ciancarinim. fl.
Häftad, Engelska, 2026
1 895 kr
Skickas inom 10-15 vardagar
The last decade has seen exponential growth in the development of digital technologies. This has led to significant shifts in the political arena as well as in the economy, precipitating a series of revolutionary changes in the fabric of our societies, which have had far-reaching consequences and effects on the way we relate and connect to each other. Digital Transformation in Artificial Systems: Engineering Requirements and Political, Economic, and Philosophical Challenges focuses on analyzing the engineering requirements as well as the political consequences, overarching the philosophical and ethical implications of this transformation, especially in relation to its application in artificial systems. In this context, the concept of digital transformation (understood as the practice of redefining models, functions, operations, processes, and activities by leveraging technological advancements to build efficient digital environments) has become increasingly important. This book brings together key concepts, ideas, and frameworks related to this idea. It promotes an inclusive and responsible digital transformation capable of addressing the constraints on the global digital divide, deepening cooperation in digitization, industrialization, and innovation, while furthering our understanding of the ethical and moral challenges associated with such a development. The distinctive and most original element of the book is its interdisciplinarity. It will allow readers to gather crucial insights that will be instrumental to better understand the reach of the forthcoming AI revolution, its multidimensionality, and its potential impact on people and society.Provides a thorough exploration of digital transformation within artificial systems, covering key concepts, methodologies, and emerging trendsShows practical insights into implementing digital transformation strategies in artificial systems, with real-world examples and case studies illustrating successful applicationsCaters to a broad audience, including professionals, researchers, and students interested in understanding and implementing digital transformation in artificial systems
Digital Transformation in Artificial Systems
Engineering Requirements and Political, Economic, and Philosophical Challenges
AvJin Chen,Xiao Yum. fl.
E-bok
PDF, Engelska, 2026
2 397 kr
Läs direkt efter köp
The last decade has seen exponential growth in the development of digital technologies. This has led to significant shifts in the political arena as well as in the economy, precipitating a series of revolutionary changes in the fabric of our societies, which have had far-reaching consequences and effects on the way we relate and connect to each other. Digital Transformation in Artificial Systems: Engineering Requirements and Political, Economic, and Philosophical Challenges focuses on analyzing the engineering requirements as well as the political consequences, overarching the philosophical and ethical implications of this transformation, especially in relation to its application in artificial systems. In this context, the concept of digital transformation (understood as the practice of redefining models, functions, operations, processes, and activities by leveraging technological advancements to build efficient digital environments) has become increasingly important. This book brings together key concepts, ideas, and frameworks related to this idea. It promotes an inclusive and responsible digital transformation capable of addressing the constraints on the global digital divide, deepening cooperation in digitization, industrialization, and innovation, while furthering our understanding of the ethical and moral challenges associated with such a development. The distinctive and most original element of the book is its interdisciplinarity. It will allow readers to gather crucial insights that will be instrumental to better understand the reach of the forthcoming AI revolution, its multidimensionality, and its potential impact on people and society. - Provides a thorough exploration of digital transformation within artificial systems, covering key concepts, methodologies, and emerging trends- Shows practical insights into implementing digital transformation strategies in artificial systems, with real-world examples and case studies illustrating successful applications- Caters to a broad audience, including professionals, researchers, and students interested in understanding and implementing digital transformation in artificial systems
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
AvInternational Conference on Formal Metho,International Federation for Informationm. fl.
Inbunden, Engelska, 1999
2 304 kr
Skickas inom 10-15 vardagar
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Del 279 - IFIP Advances in Information and Communication Technology
New Frontiers for Entertainment Computing
IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy
AvPaolo Ciancarini,Ryohei Nakatsum. fl.
Häftad, Engelska, 2010
581 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium held in Milan, Italy on September 7-10, 2008.The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis
AvPaolo Ciancarini,Alessandro Fantechi
Engelska, 2013
672 kr
Skickas inom 5-8 vardagar
Del 10 - IFIP Advances in Information and Communication Technology
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
AvPaolo Ciancarini,Alessandro Fantechim. fl.
Häftad, Engelska, 2013
2 304 kr
Skickas inom 10-15 vardagar
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Del 925 - Advances in Intelligent Systems and Computing
Proceedings of 6th International Conference in Software Engineering for Defence Applications
SEDA 2018
AvPaolo Ciancarini,Manuel Mazzaram. fl.
Häftad, Engelska, 2019
1 679 kr
Skickas inom 10-15 vardagar
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2018, the 6th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in June 2018. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementingdefence-related software development products and processes in a structured and supportable way.
Proceedings of 6th International Conference in Software Engineering for Defence Applications
SEDA 2018
AvGiancarlo Succi,Alberto Sillittim. fl.
E-bok
Engelska, 2019
2 065 kr
Läs direkt efter köp
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2018, the 6th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in June 2018. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementingdefence-related software development products and processes in a structured and supportable way.
Del 1523 - Communications in Computer and Information Science
Frontiers in Software Engineering
First International Conference, ICFSE 2021, Innopolis, Russia, June 17–18, 2021, Revised Selected Papers
AvGiancarlo Succi,Paolo Ciancarinim. fl.
Häftad, Engelska, 2022
843 kr
Skickas inom 10-15 vardagar
This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37 submissions. The papers present discussion on such topics as software engineering tools and environments; empirical software engineering; model-driven and domain-specific engineering, human factors and social aspects of software engineering, cooperative, distributed, and global software engineering, component-based software engineering, software metrics, and software engineering for green and sustainable technologies.
Frontiers in Software Engineering
First International Conference, ICFSE 2021, Innopolis, Russia, June 17–18, 2021, Revised Selected Papers
AvArtem Kruglov,Paolo Ciancarinim. fl.
E-bok
Engelska, 2022
1 037 kr
Läs direkt efter köp
This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37 submissions. The papers present discussion on such topics as software engineering tools and environments; empirical software engineering; model-driven and domain-specific engineering, human factors and social aspects of software engineering, cooperative, distributed, and global software engineering, component-based software engineering, software metrics, and software engineering for green and sustainable technologies.
Del 422 - Advances in Intelligent Systems and Computing
Proceedings of 4th International Conference in Software Engineering for Defence Applications
SEDA 2015
AvPaolo Ciancarini,Alberto Sillittim. fl.
Häftad, Engelska, 2016
1 674 kr
Skickas inom 10-15 vardagar
This book presentshigh-quality original contributions on new software engineering models,approaches, methods, and tools and their evaluation in the context of defenceand security applications. In addition, important business and economic aspectsare discussed, with a particular focus on cost/benefit analysis, new businessmodels, organizational evolution, and business intelligence systems. Thecontents are based on presentations delivered at SEDA 2015, the 4thInternational Conference in Software Engineering for Defence Applications,which was held in Rome, Italy, in May 2015. This conference series represents atargeted response to the growing need for research that reports and debates thepractical implications of software engineering within the defence environmentand also for software performance evaluation in real settings throughcontrolled experiments as well as case and field studies. The book will appealto all with an interest in modeling, managing, and implementing defence-relatedsoftware development products and processes in a structured and supportable way.
Proceedings of 4th International Conference in Software Engineering for Defence Applications
SEDA 2015
AvAngelo Messina,Giancarlo Succim. fl.
E-bok
PDF, Engelska, 2016
2 127 kr
Läs direkt efter köp
This book presentshigh-quality original contributions on new software engineering models,approaches, methods, and tools and their evaluation in the context of defenceand security applications. In addition, important business and economic aspectsare discussed, with a particular focus on cost/benefit analysis, new businessmodels, organizational evolution, and business intelligence systems. Thecontents are based on presentations delivered at SEDA 2015, the 4thInternational Conference in Software Engineering for Defence Applications,which was held in Rome, Italy, in May 2015. This conference series represents atargeted response to the growing need for research that reports and debates thepractical implications of software engineering within the defence environmentand also for software performance evaluation in real settings throughcontrolled experiments as well as case and field studies. The book will appealto all with an interest in modeling, managing, and implementing defence-relatedsoftware development products and processes in a structured and supportable way.
Del 10024 - Lecture Notes in Computer Science
Knowledge Engineering and Knowledge Management
20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings
AvEva Blomqvist,Paolo Ciancarinim. fl.
Häftad, Engelska, 2016
1 152 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 20th InternationalConference on Knowledge Engineering and Knowledge Management, EKAW 2016,held in Bologna, Italy, in November 2016.The 51 full papers presented were carefully reviewed and selected from 171 submissions. The papers cover all aspects of eliciting, acquiring, modeling, and managing knowledge, the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing,intelligent information integration, personal digital assistance systems, and a variety of other related topics. A special focus was on "evolving knowledge", i.e., the impact of space and time on knowledge representation, concerning all aspects of the management and acquisition of knowledge representation of evolving, contextual, and local models.
Knowledge Engineering and Knowledge Management
20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings
AvFabio Vitali,Francesco Poggim. fl.
E-bok
Engelska, 2016
1 470 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 20th InternationalConference on Knowledge Engineering and Knowledge Management, EKAW 2016,held in Bologna, Italy, in November 2016.The 51 full papers presented were carefully reviewed and selected from 171 submissions. The papers cover all aspects of eliciting, acquiring, modeling, and managing knowledge, the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing,intelligent information integration, personal digital assistance systems, and a variety of other related topics. A special focus was on "evolving knowledge", i.e., the impact of space and time on knowledge representation, concerning all aspects of the management and acquisition of knowledge representation of evolving, contextual, and local models.
Del 10180 - Lecture Notes in Computer Science
Knowledge Engineering and Knowledge Management
EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers
AvPaolo Ciancarini,Francesco Poggim. fl.
Häftad, Engelska, 2017
579 kr
Skickas inom 10-15 vardagar
This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions. This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year's EKAW was "evolving knowledge", which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.
Knowledge Engineering and Knowledge Management
EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers
AvValentina Presutti,Mathieu d'Aquinm. fl.
E-bok
Engelska, 2017
718 kr
Läs direkt efter köp
This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions. This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year''s EKAW was "evolving knowledge", which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.
Del 717 - Advances in Intelligent Systems and Computing
Proceedings of 5th International Conference in Software Engineering for Defence Applications
SEDA 2016
AvPaolo Ciancarini,Stanislav Litvinovm. fl.
Häftad, Engelska, 2018
1 729 kr
Skickas inom 10-15 vardagar
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2016, the 5th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2016. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
Proceedings of 5th International Conference in Software Engineering for Defence Applications
SEDA 2016
AvGiancarlo Succi,Alberto Sillittim. fl.
E-bok
Engelska, 2018
2 110 kr
Läs direkt efter köp
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2016, the 5th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2016. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
Coordination Models and Languages
8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
AvPaolo Ciancarini,Herbert Wiklicky
Häftad, Engelska, 2006
581 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems.
Coordination Models and Languages
8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
AvHerbert Wiklicky,Paolo Ciancarini
E-bok
PDF, Engelska, 2006
739 kr
Läs direkt efter köp
Agent-Oriented Software Engineering
First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
AvPaolo Ciancarini,Michael Wooldridge
Häftad, Engelska, 2001
581 kr
Skickas inom 10-15 vardagar
One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can understand many systems as being composed of essentially passive objects, which have a state and upon which we can perform operations, so we can understand many others as being made up of interacting semi-autonomous agents. This book brings together revised versions of papers presented at the First International Workshop on Agent-Oriented Software Engineering, AOSE 2000, held in Limerick, Ireland, in conjunction with ICSE 2000, and several invited papers. As a comprehensive and competent overview of agent-oriented software engineering, the book addresses software engineers interested in the new paradigm and technology as well as research and development professionals active in agent technology.
Agent-Oriented Software Engineering II
Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions
AvMichael J. Wooldridge,Gerhard Weißm. fl.
Häftad, Engelska, 2002
581 kr
Skickas inom 10-15 vardagar
Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most important reasons for the current intensity of interest in the agent-based computing paradigm certainly is that the concept of an agent as an autonomous system, capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. This recognition has led to the growth of interest in agents as a new paradigm for software engineering.This book reflects the state of the art in the field by presenting 14 revised full papers accepted for the second workshop on this topic, AOSE 2001, together with five invited survey articles. The book offers topical sections on societies and organizations, protocols and interaction frameworks, UML and agent systems, agent-oriented requirements capture and specification, and analysis and design.
Agent-Oriented Software Engineering
First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
AvMichael Wooldridge,Paolo Ciancarini
E-bok
PDF, Engelska, 2003
739 kr
Läs direkt efter köp
One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can understand many systems as being composed of essentially passive objects, which have a state and upon which we can perform operations, so we can understand many others as being made up of interacting semi-autonomous agents. This book brings together revised versions of papers presented at the First International Workshop on Agent-Oriented Software Engineering, AOSE 2000, held in Limerick, Ireland, in conjunction with ICSE 2000, and several invited papers. As a comprehensive and competent overview of agent-oriented software engineering, the book addresses software engineers interested in the new paradigm and technology as well as research and development professionals active in agent technology.
Coordination Languages and Models
Third International Conference, COORDINATION''99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings
AvAlexander L. Wolf,Paolo Ciancarini
E-bok
PDF, Engelska, 2003
739 kr
Läs direkt efter köp
We welcome you to Coordination ’99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing community of researchers - terested in models, languages, and implementation techniques for coordination. The last decade has seen the emergence of a class of models and languages variously termed “coordination languages”, “con?guration languages”, “arc- tectural description languages”, and “agent-oriented programming languages”. Theseformalismsprovideacleanseparationbetweenindividualsoftwarecom- nents and their interaction within the overall software organization. This se- ration makes complex applications more tractable, supports global analysis,and enhances the reuse of software components. The proceedings of the previous two conferences on this topic were published by Springer as Lecture Notes in Computer Science 1061 and 1282. This issue of LNCS containing the papers presented at Coordination ’99 continues the tradition of carefully selected and high quality papers representing the state of the artin coordinationtechnology.In responseto thecallfor papers,wereceived 67 submissions, from which 26 papers were accepted. These proceedings also contain abstracts for posters presented at the conference. This year’s program features invited talks by Rocco De Nicola and Danny B. Lange. Reading through the papers, we expect that you may be surprised by the variety of disciplines within computer science that have embraced the notion of coordination. In fact, we expect this trend to continue, and hope that you will contribute to the on-going exploration of its strengths, weaknesses, and applications.
Object-Based Models and Languages for Concurrent Systems
ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers
AvPaolo Ciancarini,Oscar Nierstraszm. fl.
Häftad, Engelska, 1995
581 kr
Skickas inom 10-15 vardagar
This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition.
Coordination Languages and Models
First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
AvPaolo Ciancarini,Chris Hankin
Häftad, Engelska, 1996
581 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed computations has emerged. A characteristic feature of these coordination languages and models is that they are based on (generative) communication via a shared data space. The 21 revised full papers presented were selected from a total of 78 submissions; also included are three invited papers and 10 posters. All in all, these papers report the state of the art in this young and active area of research and development.

Paolo Ciancarini – författare

New Frontiers for Entertainment Computing

New Frontiers for Entertainment Computing

Formal Methods for Open Object-Based Distributed Systems

Code Chronicles

Farina - Digital Transformation

Digital Transformation in Artificial Systems

Formal Methods for Open Object-Based Distributed Systems

New Frontiers for Entertainment Computing

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis

Formal Methods for Open Object-Based Distributed Systems

Proceedings of 6th International Conference in Software Engineering for Defence Applications

Proceedings of 6th International Conference in Software Engineering for Defence Applications

Frontiers in Software Engineering

Frontiers in Software Engineering

Proceedings of 4th International Conference in Software Engineering for Defence Applications

Proceedings of 4th International Conference in Software Engineering for Defence Applications

Knowledge Engineering and Knowledge Management

Knowledge Engineering and Knowledge Management

Knowledge Engineering and Knowledge Management

Knowledge Engineering and Knowledge Management

Proceedings of 5th International Conference in Software Engineering for Defence Applications

Proceedings of 5th International Conference in Software Engineering for Defence Applications

Coordination Models and Languages

Coordination Models and Languages

Agent-Oriented Software Engineering

Agent-Oriented Software Engineering II

Agent-Oriented Software Engineering

Coordination Languages and Models

Object-Based Models and Languages for Concurrent Systems

Coordination Languages and Models