08259nam 22007095 450 991014389760332120251116234251.03-540-36103-010.1007/3-540-36103-0(CKB)1000000000211806(SSID)ssj0000323216(PQKBManifestationID)11937898(PQKBTitleCode)TC0000323216(PQKBWorkID)10299750(PQKB)11787277(DE-He213)978-3-540-36103-9(MiAaPQ)EBC3071678(PPN)155224956(BIP)7968161(EXLCZ)99100000000021180620121227d2002 u| 0engurnn#008mamaatxtccrFormal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /edited by Chris George, Huaikou Miao1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (XII, 636 p.)Lecture Notes in Computer Science,0302-9743 ;2495Bibliographic Level Mode of Issuance: Monograph3-540-00029-1 Includes bibliographical references and index.Invited Talks -- SFI: A Refinement Based Layered Software Architecture -- Developing Quality Software Systems Using the SOFL Formal Engineering Method -- Maintaining Referential Integrity on the Web -- Formal Methods in Enterprise Computing -- Unifying Theories of Parallel Programming -- Component Engineering and Software Architecture -- ABC/ADL: An ADL Supporting Component Composition -- The Description of CORBA Objects Based on Petri Nets -- Toward a Formal Model of Software Components -- A Specification-Based Software Construction Framework for Reuse -- Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems -- Three-Tiered Specification of Micro-architectures -- Modeling the Architecture for Component-Based E-commerce System -- Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge -- Method Integration -- Abstract Specification in Object-Z and CSP -- Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS -- Specification Techniques and Languages -- Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications -- An Overview of Mobile Object-Z -- Z Approach to Semantic Web -- Hardware/Software Partitioning in Verilog -- A Formal Methodology to Specify E-commerce Systems -- Model-Based Specification Animation Using Testgraphs -- An Abstract Model for Scheduling Real-Time Programs -- A Specification and Validation Technique Based on STATEMATE and FNLOG -- Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows -- A Calculus for Mobile Network Systems -- Modelling Real-Time Systems with Continuous-Time Temporal Logic -- On Concept-Based Definition of Domain-Specific Languages -- Formal Specification of Evolutionary Software Agents -- Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra -- Formal Analysis of Real-Time Systems with SAM -- Tools and Environments -- Tool Support for Visualizing CSP in UML -- Theorem Prover Support for Precondition and Correctness Calculation -- XML-Based Static Type Checking and Dynamic Visualization for TCOZ -- Refinement -- ?-Chart-Based Specification and Refinement -- Towards a Refinement Calculus for Concurrent Real-Time Programs -- Refinement Algebra for Formal Bytecode Generation -- Applications -- Formal Modelling of Java GUI Event Handling -- A New Algorithm for Service Interaction Detection -- Specification of an Asynchronous On-chip Bus -- Analysis of a Security Protocol in ?CRL -- Developing a Spell-Checker for Tajik Using RAISE -- M2Z: A Tool for Translating a Natural Language Software Specification into Z -- Validation and Verification -- Abstract Interpretation with a Theorem Prover -- Formal Reasoning about Hardware and Software Memory Models -- Slicing Hierarchical Automata for Model Checking UML Statecharts -- Formal Verification of a SONET Telecom System Block -- Enabling Hardware Verification through Design Changes -- Specification-Based Test Generation for Security-Critical Systems Using Mutations -- A Formal Definition of Function Points for Automated Measurement of B Specifications -- Machine Code Type Safety -- UML -- On the Formalized Semantics of Static Modeling Elements in UML -- From a B Specification to UML StateChart Diagrams -- Formalizing UML Models with Object-Z -- Using Transition Systems to Unify UML Models -- A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z -- A UML Approach to the Design of Open Distributed Systems -- A Semantic Model of Real-Time UML -- Research on Ontology-Oriented Domain Analysiss on MIS -- A Requirements Description Model Based on Conditional Directed Graphs -- Semantics -- Introducing Reference Semantics via Refinement -- Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics -- Towards a Time Model for Circus.This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai, China, from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical, security-critical, and mission-critical systems have signi'cantly increased trustworthiness, without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di'erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University, Finland, Dr. Mark A. Hale of Inter woven Inc., USA, Dr. Richard J]ullig of CommerceNet Consortium, USA, Prof. Shaoying Liu of Hosei University, Japan, and Prof. Jim Woodcock of the University of Kent, UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience.Lecture Notes in Computer Science,0302-9743 ;2495Software engineeringProgramming languages (Electronic computers)Computer logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Programming languages (Electronic computers)Computer logic.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.004/.01/51George Chrisedthttp://id.loc.gov/vocabulary/relators/edtMiao Huaikouedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Formal Engineering Methods.MiAaPQMiAaPQMiAaPQBOOK9910143897603321Formal Methods and Software Engineering771999UNINA05434nam 22008295 450 991059504240332120251225203630.09783031157141303115714110.1007/978-3-031-15714-1(MiAaPQ)EBC7084990(Au-PeEL)EBL7084990(CKB)24819567000041(PPN)264952758(BIP)85684430(BIP)85215809(DE-He213)978-3-031-15714-1(EXLCZ)992481956700004120220913d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAlgorithmic Game Theory 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings /edited by Panagiotis Kanellopoulos, Maria Kyropoulou, Alexandros Voudouris1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (596 pages)Lecture Notes in Computer Science,1611-3349 ;13584Includes index.Print version: Kanellopoulos, Panagiotis Algorithmic Game Theory Cham : Springer International Publishing AG,c2022 9783031157134 Invited Talk -- Decentralizing Information Technology: The Advent of Resource Based Systems -- Auctions, Markets and Mechanism Design -- How Bad is the Merger Paradox -- Greater Flexibility in Mechanism Design Through Altruism -- Lookahead Auctions with Pooling -- Budget Feasible Mechanisms for Procurement Auctions with Divisible Agents -- On Improved Interval Cover Mechanisms for Crowdsourcing Markets -- Explicitly Simple Near-tie Auctions -- Computational Aspects in Games -- Simultaneous Contests with Equal Sharing Allocation of Prizes: Computational Complexity and Price of Anarchy -- Complexity of Public Goods Games on Graphs -- PPAD-Complete Pure Approximate Nash Equilibria in Lipschitz Games -- Seniorities and Minimal Clearing in Financial Network Games -- Financial Networks with Singleton Liability Priorities -- Automated Equilibrium Analysis of 2 2 2 Games -- Congestion and Network Creation Games -- An Improved Bound for the Tree Conjecture in Network Creation Games -- A common generalizationof budget games and congestion games -- Cost-Sharing Games with Rank-Based Utilities -- On Tree Equilibria in Max-Distance Network Creation Games -- On the Impact of Player Capability on Congestion Games -- Data Sharing and Learning -- Learning Approximately Optimal Contracts -- Coopetition Against an Amazon -- Data Curation from Privacy-Aware Agents -- Fast Convergence of Optimistic Gradient Ascent in Network Zero-Sum Extensive Form Games -- Social Choice and Stable Matchings -- Decentralised Update Selection with Semi-Strategic Experts -- Fair ride allocation on a line -- Stable Matching with Multilayer Approval Preferences: Approvals can be Harder than Strict Preferences -- Collective Schedules: Axioms and algorithms -- Justifying Groups in Multiwinner Approval Voting -- Fairness in Temporal Slot Assignment -- Gehrlein Stable Committee with Multi-Modal Preferences. -Online Max-min Fair Allocation -- Incomplete List Setting of the Hospitals/Residents Problem with Maximally Satisfying Lower Quotas -- Strategic Voting in the Context of Stable-Matching of Teams.This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which took place in Colchester, UK, in September 2022. The 31 full papers included in this book were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: Auctions, markets and mechanism design; computational aspects in games; congestion and network creation games; data sharing and learning; social choice and stable matchings.Lecture Notes in Computer Science,1611-3349 ;13584Computer simulationData structures (Computer science)Information theoryApplication softwareArtificial intelligenceAlgorithmsComputer networksComputer ModellingData Structures and Information TheoryComputer and Information Systems ApplicationsArtificial IntelligenceDesign and Analysis of AlgorithmsComputer Communication NetworksComputer simulation.Data structures (Computer science)Information theory.Application software.Artificial intelligence.Algorithms.Computer networks.Computer Modelling.Data Structures and Information Theory.Computer and Information Systems Applications.Artificial Intelligence.Design and Analysis of Algorithms.Computer Communication Networks.518.1519.3Kyropoulou MariaKanellopoulos PanagiotisVoudouris AlexandrosMiAaPQMiAaPQMiAaPQBOOK9910595042403321Algorithmic game theory715330UNINA