الصفحة 50
الصفحة 50
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
CONCUR 2006 - Concurrency Theory ; 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems.
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 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 Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general knowledge of the system in the so-called conceptual schema.It contiant data modeling, goal-oriented modeling, agent-oriented modeling, and process-oriented modeling. Overall, the contributions reflect the most important developments and application areas of conceptual modeling in recent years, and they also pinpoint trends in conceptual modeling for the next decade.
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge the system needs to know. This description, called the conceptual schema, is necessary in order to develop an information system.textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. It covers all aspects of the engineering process from structural modeling over behavioral modeling to meta-modeling, and completes the presentation with an extensive case study based on the osCommerce system, an online store-management software program freely available under the GNU General Public License. His presentation is based on well-known industry standards like UML and OCL as a particular conceptual modeling language, yet also delivers the basics of the formal logical language background.
Conceptual Modeling for New Information Systems Technologies ; ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers
The objective of the workshops associated with ER 2001, the 20th International Con- rence on Conceptual Modeling, was to give participants the opportunity to present and discuss emerging hot topics, thus adding new perspectives to conceptual modeling.
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.
Conceptual Modeling - ER 2005
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new “virtual” e-environmentsandtheinformationsystemsthatsupportthem.Theimportance of conceptual modeling in software engineering is evidenced by recent interest in “model-drivenarchitecture”and“extremenon-programming”.Conceptualm- eling also plays a prominent rolein various technical disciplines and in the social sciences. The Annual International Conference on Conceptual Modeling (referred to as the ER Conference) provides a central forum for presenting and discussing current research and applications in which conceptual modeling is the major emphasis.
Computing science, communication and security ; 2nd International Conference, COMS2 2021, Gujarat, India, February 6–7, 2021, Revised Selected Papers
This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication and Security, COMS2 2021, held in Gandhinagar, India, in February 2021. Due to the COVID-19 pandemic the conference was held virtually. The 19 full papers were thoroughly reveiwed and selected from 105 submissions. Papers are organised according to the topical sections on artificial intelligence and machine learning; networking and communications.
Computing science, communication and security ; 1st International Conference, COMS2 2020, Gujarat, India, March 26–27, 2020, revised selected papers
Constitutes revised selected papers of the First International Conference on Computing Science, Communication and Security, COMS2 2020, held in March 2020. Due to the COVID-19 pandemic the conference was held virtually. The 26 full papers and 1 short paper were thoroughly reveiwed and selected from 79 submissions. Papers are organised according to the topical sections on artificial intelligence and machine learning; network, communication and security; computing science.
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide an accessible introduction to the mathematical methods needed to deal with these models. They emphasize the use of numerical methods and provide sufficient details for the reader to implement the models and thereby study the effect of various drugs. Examples in the text include stochastic calcium release from internal storage systems in cells, as well as stochastic models of the transmembrane potential. Well known Markov models are studied and a systematic approach to including the effect of mutations is presented.
Computing Attitude and Affect in Text : Theory and Applications
Human Language Technology (HLT) and Natural Language Processing (NLP) systems have typically focused on the “factual” aspect of content analysis. Other aspects, including pragmatics, opinion, and style, have received much less attention. However, to achieve an adequate understanding of a text, these aspects cannot be ignored. The chapters in this book address the aspect of subjective opinion, which includes identifying different points of view, identifying different emotive dimensions, and classifying text by opinion. Various conceptual models and computational methods are presented.
Computers helping people with special needs ; 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part II
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
Computers helping people with special needs ; 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part I
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
Computers Helping People with Special Needs ; 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Computers Helping People with Special Needs, ICCHP 2008, held in Linz, Austria in July 2008.
Computer-Human Interaction ; 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings
This book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, held in Seoul, Korea, in July 2008.
Computer-Aided Innovation (CAI) ; IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
