this book constitutes the proceedings of the 12thinternationalconference on Computational Methods in Systems Biology, CMSB 2014, held in Manchester, UK, in November 2014.;the 16 regular papers presented together wit...
详细信息
ISBN:
(数字)9783319129822
ISBN:
(纸本)9783319129815
this book constitutes the proceedings of the 12thinternationalconference on Computational Methods in Systems Biology, CMSB 2014, held in Manchester, UK, in November 2014.;the 16 regular papers presented together with 6 poster papers were carefully reviewed and selected from 31 regular and 18 poster submissions. the papers are organized in topical sections on formalisms for modeling biological processes, model inference from experimental data, frameworks for model verification, validation, and analysis of biological systems, models and their biological applications, computational approaches for synthetic biology, and flash posters.
this book constitutes the proceedings of the 6thinternationalconference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. the 30 papers and 3 invited papers presented were carefully re...
详细信息
ISBN:
(数字)9783642336546
ISBN:
(纸本)9783642336539
this book constitutes the proceedings of the 6thinternationalconference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. the 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. the papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
this book constitutes the proceedings of the 22nd internationalconference on Coordination models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th Intern...
详细信息
ISBN:
(数字)9783030500290
ISBN:
(纸本)9783030500283
this book constitutes the proceedings of the 22nd internationalconference on Coordination models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15thinternational 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.
this book constitutes the refereed proceedings of the 6thinternationalconference on theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. the 13 full papers and 5 tool and...
详细信息
ISBN:
(数字)9783642388835
ISBN:
(纸本)9783642388828
this book constitutes the refereed proceedings of the 6thinternationalconference on theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. the 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. the papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
this book presents high-quality original contributions on new softwareengineeringmodels, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, importan...
详细信息
ISBN:
(数字)9783030146870
ISBN:
(纸本)9783030146863
this book presents high-quality original contributions on new softwareengineeringmodels, 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 6thinternationalconference in softwareengineering 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 softwareengineering 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.
this book constitutes the refereed proceedings of the 18thinternationalconference on Web engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.;the 18 full research papers and 17 short papers p...
详细信息
ISBN:
(数字)9783319916620
ISBN:
(纸本)9783319916613
this book constitutes the refereed proceedings of the 18thinternationalconference on Web engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.;the 18 full research papers and 17 short papers presented together with 2 practice papers, 6 demonstration papers, and 5 tutorials were carefully reviewed and selected from 103 submissions. the papers cover research areas such as Web application modeling and engineering; Web infrastructures and architectures; execution models; human computation and crowdsourcing applications; Web application composition and mashups; Social Web applications; Semantic Web applications; Web of things applications; big data and data analytics; and security, privacy, and identity.
this two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24thinternationalconference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-2...
详细信息
ISBN:
(数字)9783642401732
ISBN:
(纸本)9783642401725
this two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24thinternationalconference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-29, 2013. the 43 revised full papers presented together with 33 short papers, and 3 keynote talks, were carefully reviewed and selected from 174 submissions. these papers discuss a range of topics including: search queries; indexing; discovery of semantics; parallel processing; XML and RDF; enterprise models; query evaluation and optimization; semantic Web; sampling; industrial applications; communities; AI and databases; matching and searching; information extraction; queries, streams, and uncertainty, storage and compression; query processing; security; distributed data processing; metadata modeling and maintenance; pricing and recommending; and security and semantics.
this book constitutes the refereed proceedings of the 15thinternationalconference on Coordination models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8thinternational Federated...
详细信息
ISBN:
(数字)9783642384936
ISBN:
(纸本)9783642384929
this book constitutes the refereed proceedings of the 15thinternationalconference on Coordination models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8thinternational Federated conference on Distributed Computing Techniques (DisCoTec 2013).;the 17 revised full papers presented were carefully reviewed and selected from 42 submissions. the papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
this book constitutes the thoroughly refereed post-conferenceproceedings of the 13thinternationalconference on Membrane Computing, CMC 2012, held in Budapest, Hungary, in August 2012. the 21 revised selected papers...
详细信息
ISBN:
(数字)9783642367519
ISBN:
(纸本)9783642367502
this book constitutes the thoroughly refereed post-conferenceproceedings of the 13thinternationalconference on Membrane Computing, CMC 2012, held in Budapest, Hungary, in August 2012.
the 21 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 25 papers presented at the conference. the book also deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and withthe environment.
暂无评论