Abstract State Machines, Alloy, B, TLA, VDM, and Z


Book Description

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.




Formal Methods and Software Engineering


Book Description

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.




Situation Awareness with Systems of Systems


Book Description

This book discusses various aspects, challenges, and solutions for developing systems-of-systems for situation awareness, using applications in the domain of maritime safety and security. Topics include advanced, multi-objective visualization methods for situation awareness, stochastic outlier selection, rule-based anomaly detection, an ontology-based event model for semantic reasoning, new methods for semi-automatic generation of adapters bridging communication gaps, security policies for systems-of-systems, trust assessment, and methods to deal with the dynamics of systems-of-systems in run-time monitoring, testing, and diagnosis. Architectural considerations for designing information-centric systems-of-systems such as situation awareness systems, and an integrated demonstrator implementing many of the investigated aspects, complete the book.







Maritime-Port Technology and Development


Book Description

Maritime-Port Technology and Development contains the latest research results and innovations as presented at the 2014 International Maritime and Port Technology and Development Conference (Trondheim, Norway, 27- 29 October 2014). The volume is divided into a wide range of topics: Efficient and environmentally friendly energy use in ships and port




The New Silk Road leads through the Arab Peninsula


Book Description

This book is an incisive query into the origins, implications and opportunities that China’s Belt and Road Initiative creates for stakeholders in Asia and the Arab World. It emphasises the role of cutting-edge technology in boosting collaboration in the fields of politics, economics, business, and culture across regions, countries and continents.







Service-Oriented Computing: Agents, Semantics, and Engineering


Book Description

This book constitutes the refereed proceedings of the International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering, SOCASE 2007, held in Honolulu, HI, USA as an associated event of AAMAS 2007. The volume is rounded off with selected four best papers from the Service-Oriented Computing and Agent-based Engineering Workshop, SOCABE 2006, held at AAMAS 2006.




Sea Voyages and Beyond


Book Description

Explore insights, methodologies, and advances in socio-rhetorical interpretation Essays in this volume from Vernon K. Robbins merge social and rhetorical strategies of interpretation and set the stage for how socio-rhetorical interpretation has developed in the context of research into the rhetoric of religious antiquity. This book contains “By Land and By Sea: The We Passages and Ancient Sea Voyages” (1978), which initially received widespread praise and then became an object of significant criticism. The volume includes Robbins’s varied, detailed responses to both encouragement and critique of his approach. Features: Introduction to the collection by David B. Gowler Twelve essays that programmatically study early Christian texts using resources from the social sciences Reflections on the future of socio-rhetorical criticism




The Semantic Web: Research and Applications


Book Description

This volume contains the papers presented at the 2nd European Semantic Web Conference (ESWC 2005) held in Heraklion, Crete, Greece, from 29th May to 1st June, 2005. The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit representation of the sem- tics of data, accompanied with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together an - crediblylargenetworkofhumanknowledgeandwillcomplementitwithmachine processability. Various automated services will help the user to achieve goals by accessing and providing information in a machine-understandable form. This process may ultimately create extremely knowledgeable systems with various specialized reasoning services systems. Many technologies and methodologies are being developed within arti?cial intelligence, human language technology, machine learning, databases, software engineering and information systems that can contribute to the realization of this vision. The 2nd Annual European Semantic Web Conference presented the latest results in research and applications of Semantic Web technologies. Following the success of the ?rst edition, ESWC showed a signi?cant increase in participation. With148submissions,thenumberofpapersdoubledthatofthepreviousedition. Each submission was evaluated by at least three reviewers. The selection process resulted in the acceptance of 48 papers for publication and presentation at the conference (an acceptance rate of 32%). Papers did not come only from Europe but also from other continents.