الصفحة 34
الصفحة 34
Covid-19 tracking application with user helping features
The era of mobile technology opens the windows to the mobile apps. The websites are vanishing and the mobile phones are emerging. In light of the development of applications on mobile and their widespread spread, especially Service (SOA) ones. It’s the time to change from conventional websites to apps, which has become the part of our daily routine. We are introducing “Covid 19 Tracker” “Covid 19 Tracker” is an interactive App used to assist the Ministry of Health to provide protection and health care for citizens and residents referred to domestic isolation or quarantine; to ensure their safety and enhance their recovery procedures.
Countering Counterfeit Trade : Illicit Market Insights, Best-Practice Strategies, and Management Toolbox
The book constitutes a unique combination of in-depth insights into the counterfeit market, best-practice strategies, novel management tools, and product protection technologies.
Coordination, organizations, institutions, and norms in agent systems II ; AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers
In recent years, social and organizational aspects of agency have become major research topics in MAS. Recent applications of MAS on Web services, grid c- puting and ubiquitous computing highlight the need for using these aspects in order to ensure social order within such environments. Openness, heterogeneity, and scalability of MAS, in turn, pose new demands on traditional MAS int- action models and bring forward the need to look into the environment where agents interact and at di?erent ways of constraining or regulating interactions.it provide theoretically demanding and interdisciplinary research questions at d- ferent levels of abstraction.
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 ; Vol. 3675 : 2nd international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2005, held in Palma de Mallorca, Spain, in September 2005. The 28 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover all current issues in cooperative design, visualization, engineering, and other cooperative applications. Topics addressed are such as constraint maintenance, decision support, and security enforcement for CDVE. Case studies and application specific developments are among the cooperative visualization papers. Along the line of cooperative engineering, knowledge management, reconfigurability, and concurrency control are major issues addressed.
Cooperative Design, Visualization, and Engineering ; 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvià, Mallorca, Spain, in September 2008.
Cooperative Design, Visualization, and Engineering ; 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation is vital for its success. This year we received a large number of papers from all over the world.From a technical point of view, as a major trend in cooperative design, vi- alization, engineering and other applications, advanced Web-based cooperation technology stands out by itself. Web-based cooperative working applications have been emerging strongly since the wide availability and accessibility of the WWW. It is a form of sharing and collaborating by its nature.
Convex functions and their applications : A contemporary approach ; 2nd ed.
This second edition provides a thorough introduction to contemporary convex function theory with many new results. A large variety of subjects are covered, from the one real variable case to some of the most advanced topics. The new edition includes considerably more material emphasizing the rich applicability of convex analysis to concrete examples. Chapters 4, 5, and 6 are entirely new, covering important topics such as the Hardy-Littlewood-Pólya-Schur theory of majorization, matrix convexity, and the Legendre-Fenchel-Moreau duality theory.
Control problems for conservation laws with traffic applications: modeling, analysis, and numerical methods
Conservation and balance laws on networks have been the subject of much research interest given their wide range of applications to real-world processes, particularly traffic flow. This open access monograph is the first to investigate different types of control problems for conservation laws that arise in the modeling of vehicular traffic. Four types of control problems are discussed - boundary, decentralized, distributed, and Lagrangian control - corresponding to, respectively, entrance points and tolls, traffic signals at junctions, variable speed limits, and the use of autonomy and communication. Because conservation laws are strictly connected to Hamilton-Jacobi equations, control of the latter is also considered.
Contextual Process Digitalization: Changing Perspectives – Design Thinking – Value-Led Design
This book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ perspectives on their work in a process and its structuring and harmonization, and then moves on to its specification in a model and how it is embedded in the organizational and IT environment of the company.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
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.
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions.
Conceptual Structures: Knowledge Architectures for Smart Applications ; 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications in - search,softwareengineering,manufacturing and business.The book covers computer science, information technology,artificial int- ligence, philosophy and a variety of applied disciplines to explore novel ways that information technologies can be leveraged to assist human reasoning and interaction for tangible business or social benefits. Conceptual structures can be used to augment human intelligence by facilitating knowledge integration, desion making, the creation of intelligent software systems and the exploration of implicit structures.
Conceptual Modeling for Traditional and Spatio-Temporal Applications : The MADS Approach
This book shows that a conceptual design approach for spatio-temporal databases is both feasible and easy to apprehend. While providing a firm basis through extensive discussion of traditional data modeling concepts, the major focus of the book is on modeling spatial and temporal information. Parent, Spaccapietra and Zimányi provide a detailed and comprehensive description of an approach that fills the gap between application conceptual requirements and system capabilities, covering both data modeling and data manipulation features.
Conceptual Modeling - ER 2008 ; 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held in Barcelona, Spain, in October 2008.
Conceptual Modeling - ER 2007 ; 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means between systems developers, end-users and customers.Conceptua lmodeling provides languages,methods and tools to understand and represent the application domain;to elicitate,concepalize and formalize system requirements and user needs;to communicate systems designs to all stakeholders; to formally verify and validate system designs on high levels of abstractions; and to minimize ambiguities in system development. Initially, conceptual modeling mainly addressed data-intensive information s- tems and contributed to data modeling and database application engineering. The area of conceptual modeling has now matured to encompass all kinds of application areas such as e-applications (including e-business and e-learning), web-based systems (including the semantic web and ubiquitous systems), life science and geographic applications.
Conceptual Modeling - ER 2006 ; 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research and applications in which the - jor emphasis is on conceptual modeling. Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of c- cepts and ontologies underlying conceptual modeling, methods and tools for devel- ing and communicating conceptual models, and techniques for transforming conc- tual models into effective implementations.
