Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 24th International Conference 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."

"This book constitutes the thoroughly refereed proceedings of eight international workshops held in Gdańsk, Poland, in conjunction with the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, in June 2012.The 35 full and 17 short revised papers were carefully selected from 104 submissions. The eight workshops were Agility of Enterprise Systems (AgilES), Business/IT Alignment and Interoperability (BUSITAL), Enterprise and Organizational Modeling and Simulation (EOMAS), Governance, Risk and Compliance (GRCIS), Human-Centric Process-Aware Information Systems (HC-PAIS), System and Software Architectures (IWSSA), Ontology, Models, Conceptualization and Epistemology in Social, Artificial and Natural Systems (ONTOSE), and Information Systems Security Engineering (WISSE)"

"This book contains the refereed proceedings of the 13th International Conference on Business Process Modeling, Development and Support (BPMDS 2012) and the 17th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2012), held together with the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) in Gdańsk, Poland, in June 2012.The 17 papers accepted for BPMDS were selected from 48 submissions and cover a wide spectrum of issues related to business process development, modeling, and support. They are grouped into sections on business process in the cloud, advanced BPM in an organizational context, similarity, variations and configuration, BPM and requirements engineering, humans and business process models, and BPM technologies using computational methods.The 13 papers accepted for EMMSAD were chosen from 28 submissions and focus on exploring, evaluating, and enhancing current information modeling methods and methodologies. They are grouped in sections on modeling of enterprise architecture, modeling facts and rules, business process modeling, modeling of non-functional requirements, safety modeling and analysis, quality of models and modeling languages, and supporting the learning of conceptual modeling."

"The CAiSE 2011 Forum was a place to present and discuss new ideas, emerging topics, and controversial positions; and to demonstrate innovative tools and systems related to information systems engineering. The 15 papers presented in this volume were carefully reviewed and selected from 46 submissions. The reworked and extended versions of the original presentations cover topics such as business process management, enterprise architecture and modeling, model-driven development, and requirements engineering."

"This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering."

"This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on security, access control and intrusion detection, pattern recognition and image processing, biometric applications, algorithms and data management, networking, and system models and risk assessment."

"This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Sensor Systems and Software, S-Cube 2012, held in Lisbon, Portugal in June 2012. The 12 revised full papers presented were carefully reviewed and selected from over 18 submissions and four invited talks and cover a wide range of topics including middleware, frameworks, learning from sensor data streams, stock management, e-health, and Web Of Things."

"This volume constitutes the proceedings of the 4th Working Conference on Practice-Driven Research on Enterprise Transformation (PRET), held in Gdańsk, Poland, on June 27, 2012, as the industrial track of the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012).The topics covered include enterprise architecture, business and IT alignment, and business process management and evaluation."

"This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization."