this book constitutes the refereed proceedings of the 24thinternationalconference on Advanced Information Systems engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012.the 42 revised full papers, 2 full-leng...
详细信息
ISBN:
(数字)9783642310959
ISBN:
(纸本)9783642310942
this book constitutes the refereed proceedings of the 24thinternationalconference on Advanced Information Systems engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012.
the 42 revised full papers, 2 full-length invited papers and 4 short tutorial papers, were carefully reviewed and selected from 297 submissions. the contributions have been grouped into the following topical sections: business process model analysis; service and component composition; language and models; system variants and configuration; process mining; ontologies; requirements and goal models; compliance; monitoring and prediction; services; case studies; business process design; feature models and product lines; and human factors.
ththis publication comprises the proceedings of the 29internationalconference on Conceptual Modeling (ER 2010), which was held this year in Vancouver, British Columbia, Canada. Conceptual modeling can be considered...
详细信息
ISBN:
(数字)9783642163739
ISBN:
(纸本)9783642163722
ththis publication comprises the proceedings of the 29internationalconference on Conceptual Modeling (ER 2010), which was held this year in Vancouver, British Columbia, Canada. Conceptual modeling can be considered as lying at the confluence of the three main aspects of information technology applications –– the world of the stakeholders and users, the world of the developers, and the technologies available to them. C- ceptual models provide abstractions of various aspects related to the development of systems, such as the application domain, user needs, database design, and software specifications. these models are used to analyze and define user needs and system requirements, to support communications between stakeholders and developers, to provide the basis for systems design, and to document the requirements for and the design rationale of developed systems. Because of their role at the junction of usage, development, and technology, c- ceptual models can be very important to the successful development and deployment of IT applications. therefore, the research and development of methods, techniques, tools and languages that can be used in the process of creating, maintaining, and using conceptual models is of great practical and theoretical importance. Such work is c- ducted in academia, research institutions, and industry. Conceptual modeling is now applied in virtually all areas of IT applications, and spans varied domains such as organizational information systems, systems that include specialized data for spatial, temporal, and multimedia applications, and biomedical applications.
this book constitutes the refereed proceedings of the 12thinternationalconference on Passive and Active Measurement, PAM 2011, held in Atlanta, GA, USA, in March 2011. the 24 revised full papers presented were caref...
详细信息
ISBN:
(数字)9783642192609
ISBN:
(纸本)9783642192593
this book constitutes the refereed proceedings of the 12thinternationalconference on Passive and Active Measurement, PAM 2011, held in Atlanta, GA, USA, in March 2011. the 24 revised full papers presented were carefully reviewed and selected from 56 submissions. the papers were arranged into seven sessions covering passive measurement, wireless models, bandwidth, automated bots, route avoidance, interdomain protocols, timing, and diagnosis.
this book constitutes the refereed proceedings of the 13thinternationalconference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2015, held in Salamanca, Spain, in June 2015. the 10 revised full ...
详细信息
ISBN:
(数字)9783319189444
ISBN:
(纸本)9783319189437
this book constitutes the refereed proceedings of the 13thinternationalconference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2015, held in Salamanca, Spain, in June 2015. the 10 revised full papers and 9 short papers were carefully reviewed and selected from 48 submissions are presented together with 17 demonstrations. the articles report on the application and validation of agent-based models, methods and technologies in a number of key application areas, including: agents and the energy grid, agents and the traffic grid, affective computing and agent development, ambient and contextual agents, social simulation and social networks and other agent-based applications.
this book constitutes the refereed proceedings of the 8thinternational IFIP WG 2.13 conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012. the 15 revised full papers presented toge...
详细信息
ISBN:
(数字)9783642334429
ISBN:
(纸本)9783642334412;9783642428791
this book constitutes the refereed proceedings of the 8thinternational IFIP WG 2.13 conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012. the 15 revised full papers presented together with 17 lightning talks, 2 tool demonstration papers, 6 short industry papers, 5 posters and 2 workshop papers were carefully reviewed and selected from 63 submissions. the papers are organized in topical sections on collaboration and forks in OSS projects, community issues, open education and peer-production models, integration and architecture, business ecosystems, adoption and evolution of OSS, OSS quality, OSS in different domains, product development, and industrial experiences.
this book constitutes the proceedings of the 17thinternationalconference on Algorithms and Architectures for Parallel Processing, ICA3PP 2017, held in Helsinki, Finland, in August 2017.;the 25 full papers presented ...
详细信息
ISBN:
(数字)9783319654829
ISBN:
(纸本)9783319654812
this book constitutes the proceedings of the 17thinternationalconference on Algorithms and Architectures for Parallel Processing, ICA3PP 2017, held in Helsinki, Finland, in August 2017.;the 25 full papers presented were carefully reviewed and selected from 117 submissions. they cover topics such as parallel and distributed architectures; software systems and programming models; distributed and network-based computing; big data and its applications; parallel and distributed algorithms; applications of parallel and distributed computing; service dependability and security in distributed and parallel systems; service dependability and security in distributed and parallel systems; performance modeling and evaluation.;this volume also includes 41 papers of four workshops, namely: the 4thinternational Workshop on Data, Text, Web, and Social Network Mining (DTWSM 2017), the 5thinternational Workshop on Parallelism in Bioinformatics (PBio 2017);, the First international Workshop on Distributed Autonomous Computing in Smart City (DACSC 2017), and the Second international Workshop on Ultrascale Computing for Early Researchers (UCER 2017).
the two volumes LNCS 8805 and 8806 constitute the thoroughly refereed post-conferenceproceedings of 18 workshops held at the 20thinternationalconference on Parallel Computing, Euro-Par 2014, in Porto, Portugal, in ...
详细信息
ISBN:
(数字)9783319143132
ISBN:
(纸本)9783319143125
the two volumes LNCS 8805 and 8806 constitute the thoroughly refereed post-conferenceproceedings of 18 workshops held at the 20thinternationalconference on Parallel Computing, Euro-Par 2014, in Porto, Portugal, in August 2014. the 100 revised full papers presented were carefully reviewed and selected from 173 submissions. the volumes include papers from the following workshops: APCI&E (First Workshop on Applications of Parallel Computation in Industry and engineering - BigDataCloud (third Workshop on Big Data Management in Clouds) - DIHC (Second Workshop on Dependability and Interoperability in Heterogeneous Clouds) - FedICI (Second Workshop on Federative and Interoperable Cloud Infrastructures) - Hetero Par (12thinternational Workshop on Algorithms, models and Tools for Parallel Computing on Heterogeneous Platforms) - HiBB (5th Workshop on High Performance Bioinformatics and Biomedicine) - LSDVE (Second Workshop on Large Scale Distributed Virtual Environments on Clouds and P2P) - MuCoCoS (7thinternational Workshop on Multi-/Many-core Computing Systems) - OMHI (third Workshop on On-chip Memory Hierarchies and Interconnects) - PADAPS (Second Workshop on Parallel and Distributed Agent-Based Simulations) - PROPER (7th Workshop on Productivity and Performance) - Resilience (7th Workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - REPPAR (First international Workshop on Reproducibility in Parallel Computing) - ROME (Second Workshop on Runtime and Operating Systems for the Many Core Era) - SPPEXA (Workshop on software for Exascale Computing) - TASUS (First Workshop on Techniques and Applications for Sustainable Ultrascale Computing Systems) - UCHPC (7th Workshop on Un Conventional High Performance Computing) and VHPC (9th Workshop on Virtualization in High-Performance Cloud Computing.
this book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13thinternationalconference on Model-Driven engineering, Languages and Systems, models 2010, held in Oslo...
详细信息
ISBN:
(数字)9783642212109
ISBN:
(纸本)9783642212093
this book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13thinternationalconference on Model-Driven engineering, Languages and Systems, models 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. this book is the companion of the models 2010 main conferenceproceedings LNCS 6394/6395.
this book constitutes the proceedings of the 24thinternationalconference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August *** 41 full and 9 short papers presented in th...
详细信息
ISBN:
(数字)9783319983349
ISBN:
(纸本)9783319983332
this book constitutes the proceedings of the 24thinternationalconference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August *** 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions. they deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. the papers were organized according to the following topics/tracks: main technical track; applications track; CP and data science; CP and music; CP and operations research; CP, optimization and power system management; multiagent and parallel CP; and testing and verification.
this book constitutes the thoroughly refereed post-workshop proceedings of the 8thinternational Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a sate...
详细信息
ISBN:
(数字)9783642207150
ISBN:
(纸本)9783642207143
this book constitutes the thoroughly refereed post-workshop proceedings of the 8thinternational Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9thinternational Joint conference on Autonomous Agents and Multiagent Systems, AAMAS 2010.
the 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
暂无评论