|
Showing 1 - 4 of
4 matches in All Departments
This book constitutes the refereed proceedings of the 18th
International Symposium Fundamentals of Computation Theory, FCT
2011, held in Oslo, Norway, in August 2011. The 28 revised full
papers presented were carefully reviewed and selected from 78
submissions. FCT 2011 focused on algorithms, formal methods, and
emerging fields, such as ad hoc, dynamic and evolving systems;
algorithmic game theory; computational biology; foundations of
cloud computing and ubiquitous systems; and quantum computation.
This volume contains the proceedings of FMOODS2005, the 7th
IFIPWG6. 1 International Conference on Formal Methods for Open
Object-Based Distributed Systems. The conference was held in
Athens, Greece on June 15-17, 2005. The eventwasthe seventhmeeting
ofthis conferenceseries, whichis held roughly- eryyearandahalf,
withtheearliereventsheldrespectivelyinParis, Canterbury, Florence,
Stanford, Twente, and Paris.
ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers
whose work encompasses three important and related ?elds: - formal
methods; - distributed systems; - object-based technology. Sucha
convergenceis representativeofrecentadvancesin the?eld
ofdistributed systems, and provides links between several scienti?c
and technological com- nities, as represented by the conferences
FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an
integrated forum for the pres- tation of research in the
above-mentioned ?elds, and the exchange of ideas and experiences in
the topics concerned with the formal methods support for open
object-based distributed systems. For the call for papers, aspects
of interest - cluded, but were not limited to: formal models;
formal techniques for speci?- tion, design, or analysis;
veri?cation, testing, and validation; component-based design;
formal aspects of service-oriented computing; semantics and type s-
tems for programming, coordination, or modelling languages;
behavioraltyping; multiple viewpoint modelling and consistency
between di?erent models; tra- formations of models; integration of
quality-of-service requirements into formal models; formal models
for security; formal approachesto distributed component
frameworks;andapplications andexperience, carefullydescribed. Work
onthese aspects of (o?cial and de facto) standardnotation and
languagesfor serviceo- ented design, e. g. web services
orchestration languages, was explicitly welc
|
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)
Javier Camara, Martin Steffen
|
R2,069
Discovery Miles 20 690
|
Ships in 10 - 15 working days
|
The volume LNCS 12226 constitutes the revised selected papers from
the four workshops collocated with the 17th International
Conference on Software Engineering and Formal Methods, SEFM 2019.
The 13 full papers presented together with 7 short papers in this
volume were carefully reviewed and selected from a total of 45
submissions. They stem from the following workshops: CoSim-CPS 2019
- 3rd International Workshop on Formal Co-Simulation of
Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on
Cognition: Interdisciplinary Foundations, Models and Applications;
and FOCLASA 2019 -- 17th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems .
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R383
R318
Discovery Miles 3 180
|