The proceedings contain 65 papers from the 12th ieeeinternationalconference and workshops on the engineering of computer-basedsystems, ECBS 2005. The topics discussed include: a generic component framework for high...
详细信息
ISBN:
(纸本)0769523080
The proceedings contain 65 papers from the 12th ieeeinternationalconference and workshops on the engineering of computer-basedsystems, 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 computerbasedsystems.
The proceedings contain 55 papers. The topics discussed include: robotics today: the good, bad, and ugly;system complexity and system failures;compAA: a self-adaptable component model for open systems;distributed lear...
详细信息
ISBN:
(纸本)0769531415
The proceedings contain 55 papers. The topics discussed include: robotics today: the good, bad, and ugly;system complexity and system failures;compAA: a self-adaptable component model for open systems;distributed learning strategies for collaborative agents in adaptive decentralized power systems;goal-based modeling of dynamically adaptive system requirements;comparison of simulation and performance modeling-a case study;towards performance related decision support for model driven engineering of enterprise SOA applications;design guidance using simulation-based Bayesian belief networks;a case study of issues related to automotive E/E system architecture development;towards secure mobile payment based on SIP;introducing tool support for managing architectural knowledge: an experience report;model checking with graphical validation rules;and counterexample guided abstraction refinement is better under equational abstraction.
The proceedings contain 52 papers. The topics discussed include: UAV search: maximizing target acquisition;do sensornet protocol variants yield real benefits?;scalable run-time correlation engine for monitoring in a c...
ISBN:
(纸本)9780769540054
The proceedings contain 52 papers. The topics discussed include: UAV search: maximizing target acquisition;do sensornet protocol variants yield real benefits?;scalable run-time correlation engine for monitoring in a cloud computing environment;a model-based regression testing approach for evolving software systems with flexible tool support;using UML models and formal verification in model-based testing;generating test plans for acceptance tests from UML activity diagrams;guiding architectural restructuring through architectural styles;CPASA: continuous performance assessment of software architecture;range queries based on a structured segment tree in P2P systems;a data warehouse model for integrating Fuzzy concepts in meta table structures;fault management driven design with safety and security requirements;and timed automata model for component-based real-time systems.
The proceedings contain 31 papers. The topics discussed include: consensus in networks: coordination and control of cyberphysical systems, from unmanned vehicles to energy-efficient buildings;finding interaction fault...
ISBN:
(纸本)9780769543796
The proceedings contain 31 papers. The topics discussed include: consensus in networks: coordination and control of cyberphysical systems, from unmanned vehicles to energy-efficient buildings;finding interaction faults adaptively using distance-based strategies;analysis of applicability for synchronization complexity metric;hardware/software communication middleware for data adaptable embedded systems;hardware observability framework for minimally intrusive online monitoring of embedded systems;a meta-framework for design space exploration;queral networks: toward an approach for engineering large artificial neural networks;towards change propagating test models in autonomic and adaptive systems;fostering the universal virtual computer as long-term preservation platform;measuring and reducing modeling effort in domain-specific modeling languages with examples;automated adaptor generation for services based on pushdown model checking;and pattern-driven support for designing component-based architectural models.
The proceedings contain 25 papers. The topics discussed include: quantifying error propagation in data flow models;model based development with the skeleton design method;multi-way semantic specification of domain-spe...
The proceedings contain 25 papers. The topics discussed include: quantifying error propagation in data flow models;model based development with the skeleton design method;multi-way semantic specification of domain-specific modeling languages;model-based software synthesis for self-reconfigurable sensor network in water monitoring;system observation of blocking, non-blocking, and cascading events for runtime monitoring of real-time systems;system throughput optimization and runtime communication middleware supporting dynamic software-hardware task migration in data adaptable embedded systems;on extensible networks for embedded systems;accuracy-guided runtime adaptive profiling optimization of wireless sensor networks;a component-based dynamic link support for safety-critical embedded systems;deployment and scheduling synthesis for mixed-critical shared-memory applications;and the use of autonomic management in multi-provider telecommunication services.
The proceeding contains 68 papers. The topics discussed include: using weak bisimulation for enterprise integration architecture formal verification;design and description of a classification system framework for easi...
详细信息
ISBN:
(纸本)0769527728
The proceeding contains 68 papers. The topics discussed include: using weak bisimulation for enterprise integration architecture formal verification;design and description of a classification system framework for easier reuse;patterns for integrating and exploiting some non-functional properties in hierarchical software components;component-based system integration via(Meta)model composition;modern distributed data acquisition and control systemsbased on OPC techniques;node-oriented modeling and simulation of IP networks;transformation of existing programs into automatic and self-healing entities;methods of sensors localization in wireless sensor networks;adaptive misbehavior detection in wireless sensors network based on local community agreement;design of a wireless sensor network based automatic light controller in theater arts;end-user development framework for embedded system applications;and diagnosis of embedded software using program spectra.
暂无评论