the following topics are dealt with: complexcomputersystemsengineering real-time systems; modeling and verification; safety and security; context awareness and ubiquitous computing; formal languages; and software a...
the following topics are dealt with: complexcomputersystemsengineering real-time systems; modeling and verification; safety and security; context awareness and ubiquitous computing; formal languages; and software architecture.
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carr...
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center. the papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. they reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. their inclusion in this publication does not necessarily constitute endorsement by the editors or the Institute of Electrical and Electronics Engineers, Inc.
the proceedings contain 40 papers. the topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web appli...
详细信息
ISBN:
(纸本)0769528953
the proceedings contain 40 papers. the topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web applications;a formal model for compensable transactions;a formal semantic model of the semantic web service ontology (WSMO);a novel approach to the detecting of cheating in multiplayer online games;reasoning about nonblocking concurrency using reduction;a combine approach for information flow analysis in fault tolerant hardware;a registry for sensor network discovery;an agent based approach to examining shared situation awareness;product line enabled intelligent mobile middleware;a formal contract language for plugin-based software engineering;architectural design methodologies for complex evolving systems;and communicating software architecture using a unified single-view visualization.
the proceedings contain 65 papers from the 12thieeeinternationalconference and Workshops on the engineering of computer-Based systems, ECBS 2005. the topics discussed include: a generic component framework for high...
详细信息
ISBN:
(纸本)0769523080
the proceedings contain 65 papers from the 12thieeeinternationalconference and Workshops on the engineering of computer-Based systems, ECBS 2005. the topics discussed include: a generic component framework for high performance locally concurrent computing based on UML 2.0 activities;using connectors to integrate software components;components and contracts for embedded software;parallel and reliable execution of a WDR algorithm in high speed networks;a unified formal specification for a multi-consistency replication system for DHTs;dependency algebra: a theoretical framework for dependency management in real-time control systems;and integrative architecture elicitation for large computer based systems.
the proceedings contain 70 papers from the 10thieeeinternationalconference on engineering of complexcomputersystems, ICECCS 2005. the topics discussed include: software engineering approaches to Semantic Web;an i...
详细信息
the proceedings contain 70 papers from the 10thieeeinternationalconference on engineering of complexcomputersystems, ICECCS 2005. the topics discussed include: software engineering approaches to Semantic Web;an introduction to self-healing Web services;a framework for SOFL-based program review;a strategy for component-based modeling and refinement;evaluating conformance of UML models to design patterns;formal requirements-based programming for complexsystems;a slice Monad transformer and its applications in program slicing;exploiting OS-level mechanisms to implement mobile code security;and mediation systems modeling and verification.
the proceedings contain 52 papers. the topics discussed include: an analysis of formal languages for dynamic adaptation;development of autonomic management solutions for the military application domain;engineering dyn...
ISBN:
(纸本)9780769540153
the proceedings contain 52 papers. the topics discussed include: an analysis of formal languages for dynamic adaptation;development of autonomic management solutions for the military application domain;engineering dynamic adaptation for achieving cost-efficient resilience in software-intensive embedded systems;trust-based adaptation in complex service-oriented systems;a tile-based approach for self-assembling service compositions;service-based development of context-aware automotive telematics systems;modeling and implementing ontology-based publish/subscribe using semantic web technologies;effects of component-subscription network topology on large-scale data center performance scaling;using compositionality to formally model and analyze systems built of a high number of components;configuration procedure synthesis for complexsystems using model finder;and patterns for modeling time and consistency in business information systems.
the proceedings contain 37 papers. the topics discussed include: non-intrusive repair of reactive programs;bridging the gap between user requirements and configuration requirements;an experimental study on collaborati...
ISBN:
(纸本)9782954181004
the proceedings contain 37 papers. the topics discussed include: non-intrusive repair of reactive programs;bridging the gap between user requirements and configuration requirements;an experimental study on collaborative filtering for requirements engineering;analysis of use case requirements using SFTA and SFMEA techniques;control systems: phenomena and structuring functional requirement documents;design patterns for rule-based refinement of safety critical embedded systems models;an interaction-driven approach to identifying functional behaviors of service robot systems;adaptive majority-based re-routing for differentiated reliability in wireless sensor networks;self-explanation in adaptive systems;formal analysis of pervasive computing systems;heterogeneous aviation safety cases: integrating the formal and the non-formal;and a timing model for specifying multi clock automotive systems: the timing augmented description language V2.
暂无评论