الصفحة 23
الصفحة 23
Coordination models and languages ; 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
Coordination models and languages ; 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
Coordination models and languages ; 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.
Cooperative tool
Online collaboration is fast becoming a permanent feature of the modern workplace. Companies and organizations are attracted by the cost-effective technology allowing employees to work together anywhere, at any time using any internet-enabled device. Online collaboration gives team members the tools they need to work with others from any location, including from home and while travelling. This drastically reduces “downtime” and allows people to be productive when it best suits them therefore we propose a website that provides content (videoconference, real-time Chat, whiteboard).
Cooperative Information Agents XII ; 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Workshop on Cooperative Information Agents, CIA 2008, held in Prague, Czech Republik, in September 2008.
Cooperative Information Agents XI ; Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Leon Sterling
In today’s world of ubiquitously connected heterogeneous information systems and computing devices, the intelligent coordination and provision of relevant added-value information at any time, anywhere is of key importance to a va- ety of applications. This challenge is envisioned to be coped with by means of appropriate intelligent and cooperative information agents. An information agent is a computational software entity that has access to one or multiple heterogeneous and geographically dispersed data and infor- tion sources. It pro-actively searches for and maintains information on behalf of its human users, or other agents preferably just in time. In other words, it is managing and overcoming the di?culties associated with information overload in open, pervasive information and service landscapes. Each component of a modern cooperative information system is represented by an appropriate intelligent information agent capable of resolving system and semantic heterogeneities in a given context on demand. Cooperative infor- tion agents are supposed to accomplish both individual and shared joint goals depending on the actual user preferences in line with given or deduced limits of time, budget and resources available.
Cooperative Design, Visualization, and Engineering ; 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2020, held in Bangkok, Thailand, in October 2020.* The 33 full papers and 7 short papers presented were carefully reviewed and selected from 74 submissions. The achievement, progress and future challenges are reported in areas such as health care, industrial design, banking IT systems, cultural activities support, operational maritime cybersecurity assurance, emotion communication, and social network data analytics.
Control Theory of Multi-fingered Hands : A Modelling and Analytical-Mechanics Approach for Dexterity and Intelligence
Control Theory of Multi-fingered Hands presents a comprehensive insight into the intelligence and dexterity of robotic multi-fingered hands from both the physical and control-theoretic viewpoints.
Content based social platform optimization “Fashion Platform"
The purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering an informative feedback, as well as linking local stores to those users. This platform will be delivered as a mobile application that is available to any user who is interested in expressing and sharing his/her prevailing taste in fashion simply by posting photos, interacting with other people’s posts and leaving comments for them. The app will also provide some features in an attempt to push the users to be more enthusiastic and to be more encouraged about trying and continuously using this app. Moreover, this platform will incorporate a Shop section, which will be the actual local stores that are connected to it, so the user can buy an item that he/she is fond of.
Construction materials, methods, and techniques : Building for a sustainable future
Covers both traditional and contemporary materials, current industry standards and new and emerging technologies. The only text organized according to the Construction Specifications Institute (CSI) MasterFormat (R) standards, construction materials, methods and techniques: building for a sustainable future, fifth edition, features a reader-friendly style and logical structure, which follows the construction process step-by-step from project inception to completion. The new edition provides up-to-date coverage of dramatic changes underway in the construction industry, including advances in pre-fabricated construction; increased use of drones, robotics and artificial intelligence; net-zero buildings and lean construction. You'll learn about key current industry developments and standards, as well as latest relevant building codes, all presented within a dynamic, richly illustrated new design.
Construction and Building Automation : From Concepts to Implementation
Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, electrical and computer science topics that are needed for civil and construction engineers to collaborate in inter-disciplinary automation projects. Introduces hardware and software needed for automating engineering tasks ; Presents examples of applications in the control of building systems ; Illustrates of the use of automation for improving construction processes ; Provides a lucid introduction to advanced computing concepts, machine learning, artificial intelligence, and control algorithms to construction and engineering students.
Constructing Ambient Intelligence ; AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, AmI 2007, held in Darmstadt, Germany, in November 2007.
Constraint satisfaction techniques for agent-based reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.
Constraint handling rules : Current research topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.
Conceptual Structures : Knowledge Visualization and Reasoning; 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008.
Conceptual Structures : Inspiration and Application ; 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings
th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international nature of the ICCS community as well as the widespread interest which was spawned by the previous conferences.
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
This book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that support natural language production and understanding, and other manifestations of cognition. One fundamental question raised in the text is whether requisite knowledge structures can be adequately modeled by means of a uniform representational format, and if so, what exactly is its nature. Frames are a key topic covered which have had a strong impact on the exploration of knowledge representations in artificial intelligence, psychology and linguistics; cascades are a novel development in frame theory. Other key subject areas explored are: concepts and categorization, the experimental investigation of mental representation, as well as cognitive analysis in semantics. This book is of interest to students, researchers, and professionals working on cognition in the fields of linguistics, philosophy, and psychology.
Concepts in action : Representation, learning, and application
This book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.
Concept Lattices and Their Applications ; Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, CLA 2006, held in Tunis, Tunisia, October 30-November 1, 2006.
