The proceedings contains 81 paper from the Second ieee international conference on engineering of complex computer systems. Topics discussed includes complex real-time computersystems (RTCS), reengineering techniques...
详细信息
The proceedings contains 81 paper from the Second ieee international conference on engineering of complex computer systems. Topics discussed includes complex real-time computersystems (RTCS), reengineering techniques, systems dependability, software components, embedded systems, understanding of the complexsystems, wireless information revolution, petri nets with concurrent and real-time systems, traditional life cycle of software development, on line adaptation of protocols resources, safety critical systems, hardware composition, reusable software architecture and engineering design process.
The proceedings contains 29 papers. Topics discussed include complexcomputersystems, real time issues, web site software, formal issues, risk management of complexsystems, dependability in industrial systems,archit...
详细信息
The proceedings contains 29 papers. Topics discussed include complexcomputersystems, real time issues, web site software, formal issues, risk management of complexsystems, dependability in industrial systems,architectural issues and analysis and modeling.
The proceedings contains 26 papers from the Ninth ieee international conference on engineering of complex computer systems. The topics discussed include: modeling complexsystems by separating application and security...
详细信息
The proceedings contains 26 papers from the Ninth ieee international conference on engineering of complex computer systems. The topics discussed include: modeling complexsystems by separating application and security concerns;dealing with complex networks of process interactions: a security measure;integrated fault diagnostics on the grid;robust on-line approximation control of uncertain nonlinear systems;formal test-case generation for UML statecharts;requirements validation by lifting retrenchments in B;and a conceptual framework for state-based and event-based formal.
The proceedings contain 70 papers from the 10th ieee international conference on engineering of complex computer systems, ICECCS 2005. The topics discussed include: software engineering approaches to Semantic Web;an i...
详细信息
The proceedings contain 70 papers from the 10th ieee international conference on engineering of complex computer systems, 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 contains 76 papers. Topics discussed include complex real time and distributed systems, complexity through the software process, design of complexsystems, computer programming languages for real time ...
详细信息
The proceedings contains 76 papers. Topics discussed include complex real time and distributed systems, complexity through the software process, design of complexsystems, computer programming languages for real time systems, software and systemsengineering, process control, local area networks, database systems, schedulability, online problem solving environment, formal specification and reasoning, image processing and artificial intelligence, modeling and design of complex software, object orientation, networking and communication, heterogeneous computing, fault tolerant real time systems, high performance architectures, system testing and assessment.
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 12 papers. The topics discussed include: a method and a technique to model and ensure timeliness in safety critical real-time systems;evaluating the performance of group membership protocols;in...
ISBN:
(纸本)0818685972
The proceedings contain 12 papers. The topics discussed include: a method and a technique to model and ensure timeliness in safety critical real-time systems;evaluating the performance of group membership protocols;inter-completion time scheduling (ICTS): non-preemptive scheduling to maximize the minimum inter-completion time;metrics and tool for system assessment;design patterns in Petri net system modeling;building soft real-time monitors based on software reuse;the architecture tradeoff analysis method;open complexcomputersystems are no silver bullet;applying slicing technique to software architectures;an approach to specifying and verifying safety-critical systems with practical formal method SOFL;risk assessment and integrity in system design;and vp reservation for rapid restoration using multiagents.
The proceedings contain 26 papers. The topics discussed include: enacting a software development process;1jse of the process meta-model to describe requirements engineering methodologies;an experience in introducing c...
ISBN:
(纸本)0818681276
The proceedings contain 26 papers. The topics discussed include: enacting a software development process;1jse of the process meta-model to describe requirements engineering methodologies;an experience in introducing configuration management in a process-centered software engineering environment;precedence constraints in hard real-time distributed systems;optimal deadline assignment for scheduling soft aperiodic tasks in hard real-time environments;resolving conflicts with committing transactions in distributed real-time databases;an architectural style decoupling coordination, computation and data;an approach to integration testing based on architectural descriptions;optimal mobile location tracking by multilayered model strategy;and a synthesis method for fault-tolerant and flexible multipath routing protocols.
The proceedings contain 29 papers. The topics discussed include: effective dynamic multikeys in enterprise JavaBeans;a case history of international space station requirement faults;on the complexity of design in imag...
详细信息
ISBN:
(纸本)9780769525303
The proceedings contain 29 papers. The topics discussed include: effective dynamic multikeys in enterprise JavaBeans;a case history of international space station requirement faults;on the complexity of design in imaging software;inference of design pattern instances in UML models via logic programming;integrating functional and security requirements with use case decomposition;a characterization of UML diagrams and their consistency;a UML profile enterprise information system configuration;engineering emergence;a layered behavioural model of platelets;communicating complexsystems;a tool-supported review approach to detecting structural consistency violations;integrated timed automata into Tabu algorithm for HW-SW partitioning;modelling bacterial growth patterns in the presence of antibiotic;a type system for the relational calculus of object systems;and a GRID based framework and tools for automating production of cross media content.
The proceedings contain 26 papers. The topics discussed include: validating run-time interactions in distributed java applications;reasoning about asynchronous behavior in distributed systems;a framework for performab...
ISBN:
(纸本)0769517579
The proceedings contain 26 papers. The topics discussed include: validating run-time interactions in distributed java applications;reasoning about asynchronous behavior in distributed systems;a framework for performability modeling of messaging services in distributed systems;efficient reachability testing of asynchronous message-passing programs;capturing complete and accurate requirements by refinement;mechanization of a proof of string-preprocessing in Boyer-Moore's pattern matching algorithm;composability for software components: an approach based on the whole-part theory;using aspects to design a secure system;a light-weight process for capturing and evolving defect reduction experience;interclass testing of object oriented software;and Mars Polar Lander fault identification using model-based testing.
暂无评论