Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications
Author: Marcel Vinícius Medeiros Oliveira
Publisher: Springer Science & Business Media
Total Pages: 360
Release: 2009-11-09
Genre: Computers
ISBN: 3642104517

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Business Process Management Workshops

Business Process Management Workshops
Author: Stefanie Rinderle-Ma
Publisher: Springer Science & Business Media
Total Pages: 707
Release: 2010-04-01
Genre: Business & Economics
ISBN: 3642121853

Business process management (BPM) constitutes one of the most exciting - search areas in computer science and the BPM Conference together with its workshops provides a distinct platform for presenting the latest research and showing future directions in this area. These proceedings contain the ?nal v- sions of papers accepted for the workshops held in conjunction with the 7th International Conference on Business Process Management (BPM 2009). The BPM 2009 conference and workshops took place in Ulm, Germany. We received many interesting workshop proposals, eight of which were selected. Ultimately the workshops ran on September 7, 2009 featuring highly interesting keynotes, inspiring scienti?c presentations, and fruitful discussions. The history of ?ve years of BPM workshops in a row proves the continued success of the workshop program. Theworkshopsheldin2009includedonenewworkshoponempiricalresearch in business process management and seven well-established workshops. First International Workshop on Empirical Research in Business Process Management(ER-BPM 2009). The ER-BPM 2009 workshop addressed the demand for empirical research methods such as experimental or case studies to BPM and invited fellow colleagues to investigate both the potential and the limitations of BPM methods and technologies in practice. The ER-BPM workshop aimed at closing the gap in knowledge on process management and at discussing empirical research in the space of BPM and associated phenomena. 12th International Workshop on Reference Modeling (RefMod 2009). Although conceptual models have proven to be a useful means to support information systems engineering in the past few years, creating and especiallymaintainingconceptualmodelscanbequitechallengingandcostly.

Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems
Author: Jon Whittle
Publisher: Springer
Total Pages: 749
Release: 2011-10-12
Genre: Computers
ISBN: 3642244858

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.

Computational Science and Its Applications - ICCSA 2010

Computational Science and Its Applications - ICCSA 2010
Author: David Taniar
Publisher: Springer Science & Business Media
Total Pages: 620
Release: 2010-03-16
Genre: Computers
ISBN: 3642121640

The four-volume set LNCS 6016 - 6019 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2010, held in Fukuoka, Japan, in March 2010. The four volumes contain papers presenting a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques. The topics of the fully refereed papers are structured according to the five major conference themes: computational methods, algorithms and scientific application, high performance computing and networks, geometric modelling, graphics and visualization, advanced and emerging applications, and information systems and technologies. Moreover, submissions from more than 30 special sessions and workshops contribute to this publication. These cover These cover topics such as geographical analysis, urban modeling, spatial statistics, wireless and ad hoc networking, logical, scientific and computational aspects of pulse phenomena in transitions, high-performance computing and information visualization, sensor network and its applications, molecular simulations structures and processes, collective evolutionary systems, software engineering processes and applications, molecular simulations structures and processes, internet communication security, security and privacy in pervasive computing environments, and mobile communications.

Models in Software Engineering

Models in Software Engineering
Author: Sudipto Ghosh
Publisher: Springer
Total Pages: 370
Release: 2010-04-07
Genre: Computers
ISBN: 3642122612

This book constitutes a collection of the best papers selected from 9 workshops and 2 symposia held in conjunction iwth MODELS 2009, the 12 International Conference on Model Driven Engineering Languages and Systems, in Denver, CO, USA, in October 2009. The first two sections contain selected papers from the Doctoral Symposium and the Educational Symposium, respectively. The other contributions are organized according to the workshops at which they were presented: 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'09); 14th International Workshop on Aspect-Oriented Modeling (AOM); [email protected] ([email protected]); Model-driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE (MoDeVVa09); Models and Evolution (MoDSE-MCCM); Third International Workshop on Multi-Paradigm Modeling (MPM09); The Pragmatics of OCL and Other Textual Specification Languages (OCL); 2nd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML); and 2nd Workshop on Transformation and Weaving OWL Ontologies and MDE/MDA (TWOMDE2009). Each section includes a summary of the workshop.

Computational Science and Its Applications - ICCSA 2014

Computational Science and Its Applications - ICCSA 2014
Author: Beniamino Murgante
Publisher: Springer
Total Pages: 840
Release: 2014-07-02
Genre: Computers
ISBN: 3319091565

The six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14th International Conference on Computational Science and Its Applications, ICCSA 2014, held in Guimarães, Portugal, in June/July 2014. The 347 revised papers presented in 30 workshops and a special track were carefully reviewed and selected from 1167. The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

Trends in Practical Applications of Agents and Multiagent Systems

Trends in Practical Applications of Agents and Multiagent Systems
Author: Pawel Pawlewski
Publisher: Springer Science & Business Media
Total Pages: 735
Release: 2010-04-16
Genre: Technology & Engineering
ISBN: 364212433X

PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an international yearly forum to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their ex-perience in the development of Agents and Multi-Agent Systems. This volume presents the papers that have been accepted for the 2010 edition in the Special Sessions and Workshops. PAAMS'10 Special Sessions and Workshops are a very useful tool in order to complement the regular program with new or emerging topics of particular interest to the participating community. Special Sessions and Workshops that emphasize on multi-disciplinary and transversal aspects, as well as cutting-edge topics were especially encouraged and welcomed.

3rd Symposium of Ubiquitous Computing and Ambient Intelligence 2008

3rd Symposium of Ubiquitous Computing and Ambient Intelligence 2008
Author: Juan Manuel Corchado Rodríguez
Publisher: Springer Science & Business Media
Total Pages: 366
Release: 2008-09-16
Genre: Computers
ISBN: 3540858679

The Symposium on Ubiquitous Computing and Ambient Intelligence (UCAmI) began as a workshop held in 2003 in San Sebastián (Spain) under the Spanish Artificial Intelligence Conference. This event gathered 32 attendees and 18 papers were p- sented. The second edition, already as a Symposium, took place in Granada (Spain) under the first Spanish Computer Science Conference (CEDI). Later, in 2006, a s- ond workshop was celebrated in Ciudad Real and, in 2007; the second Symposium was organized in Zaragoza by the CEDI conference. Now we continue to work on the organization of this event in Salamanca, a beautiful Spanish city. The European Community and the Sixth and Seventh Framework Programs - courage researchers to explore the generic scope of the AmI vision. In fact, some researchers have a crucial role in this vision. Emile Aarts from Philips describes - bient Intelligence as "the integration of technology into our environment, so that p- ple can freely and interactively utilize it". This idea agrees with the proposal of Mark Weiser regarding the Ubiquitous Computing paradigm.

Enabling Context-Aware Web Services

Enabling Context-Aware Web Services
Author: Quan Z. Sheng
Publisher: CRC Press
Total Pages: 558
Release: 2010-05-06
Genre: Computers
ISBN: 1439809860

With recent advances in radio-frequency identification (RFID) technology, sensor networks, and enhanced Web services, the original World Wide Web is continuing its evolution into what is being called the Web of Things and Services. Such a Web will support an ultimately interactive environment where everyday physical objects such as buildings, sidew