the proceedings contain 32 papers. the special focus in this conference is on Metamodeling and Aspects. the topics include: Empirically driven use case metamodel evolution;applying OO metrics to assess UML meta-models...
ISBN:
(纸本)3540233075
the proceedings contain 32 papers. the special focus in this conference is on Metamodeling and Aspects. the topics include: Empirically driven use case metamodel evolution;applying OO metrics to assess UML meta-models;an OCL formulation of UML2 template binding;a metamodel for generating performance models from UML designs;modeling business processes in web applications with ArgoUWE;model composition directives;specifying cross-cutting requirement concerns;a UML profile to model mobile systems;experimental evaluation of the UML profile for schedulability, performance, and time;a UML profile for executable and incremental specification-level modeling;applying refactoring techniques to UML/OCL models;detecting OCL traps in the UML 2.0 superstructure;from informal to formal specifications in UML;building precise UML constructs to model concurrency using OCL;an ASM definition of the dynamic OCL 2.0 semantics;towards a framework for mapping between UML/OCL and XML/XQuery;model-driven architecture for automatic-control;model-driven development for non-functional properties;generic and meta-transformations for model transformation engineering;supporting model refactorings through behaviour inheritance consistencies;determining the structural events that may violate an integrity constraint;deductive verification of UML models in TLPVS;integrating a security requirement language with UML;automated verification of UMLsec models for security requirements;extending OCL for secure database development;test driven development of UML models with SMART modeling system;the application-based domain modeling approach and using UML-based feature models and UML collaboration diagrams to information modelling.
Justification is the process of constructing evidence, in terms of proof, for the truth or falsity of an answer derived by tabled evaluation. the evidence is most easily constructed by post-processing the memo tables ...
详细信息
the proceedings contain 26 papers. the special focus in this conference is on Multimedia over Wireless and Adaptive Multimedia Streaming. the topics include: Improving interactive video in wireless networks using path...
ISBN:
(纸本)3540232397
the proceedings contain 26 papers. the special focus in this conference is on Multimedia over Wireless and Adaptive Multimedia Streaming. the topics include: Improving interactive video in wireless networks using path diversity;a bandwidth-efficient application level framing protocol for h.264 video multicast over wireless LANs;adaptive video streaming in presence of wireless errors;content-based adaptation of streamed multimedia;performance assessment of the quality-oriented adaptation scheme;an adaptive batched patch caching scheme for multimedia streaming;dynamic cell-based MAC protocol for target detection applications in energy-constrained wireless networks;reliable collaborative decision making in mobile ad hoc networks;minimum-cost multicast routing for multi-layered multimedia distribution;efficient management of multimedia attachments;a new class of scheduling policies for providing time of service guarantees in video-on-demand servers;bandwidth constrained IP multicast traffic engineering without MPLS overlay;weighted fair RIO (WF-RIO) for fair AF bandwidth allocation in a diffserv-capable MPLS network;sub-network based hierarchical segment restoration in MPLS network;automated validation of service configuration on network devices;agent-based mobile multimedia service quality monitoring;a performance-oriented management information model for the chord peer-to-peer framework;real-time analysis of delay variation for packet loss prediction;SLA-driven flexible bandwidth reservation negotiation schemes for QoS aware IP networks;an enhanced virtual time simulator for studying QoS provisioning of multimedia services in UTRAN;event-based programming structures for multimedia information flows;sipc, a multi-function SIP user agent;optimizing continuous media delivery by multiple distributed servers to multiple clients using a genetic algorithm and providing seamless mobility with competition based soft handover management.
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D+T data, for the estimation of LV vol...
详细信息
Presented herein is an efficient simulation technique enabling systematic investigation of the soft programming over-erased flash EEPROM cells. the simulation provides a method by which to find the optimal soft progra...
详细信息
ISBN:
(纸本)078038511X
Presented herein is an efficient simulation technique enabling systematic investigation of the soft programming over-erased flash EEPROM cells. the simulation provides a method by which to find the optimal soft programming technique for given current. the method requires only the cell performance data and allows investigation of the soft programming under various bias conditions. In principle, the methodology can also be used to investigate the programming and erase operations.
In this paper, a novel kind of algorithm, called the self-adaptive chaos quantum clonal evolutionary programming algorithm(SCQP) is proposed based on the quantum theory and the chaos mutation operator. By adopting qua...
详细信息
In this paper, a novel kind of algorithm, called the self-adaptive chaos quantum clonal evolutionary programming algorithm(SCQP) is proposed based on the quantum theory and the chaos mutation operator. By adopting quantum chromosome as a representation, SCQP uses the logistic sequence to control the mutation size and the chaos mutation operator to control the clonal selection. Compared withthe classical evolutionary algorithm(CEA) and SCQP, SCQP is shown to be capable of solving complex machine learning tasks, and the experiment results are better.
the proceedings contain 44 papers. the special focus in this conference is on Biomolecular Networks, Systems Biology, Formal Methods, and the Control of Hybrid Systems. the topics include: Lazy rectangular hybrid auto...
ISBN:
(纸本)3540212590
the proceedings contain 44 papers. the special focus in this conference is on Biomolecular Networks, Systems Biology, Formal Methods, and the Control of Hybrid Systems. the topics include: Lazy rectangular hybrid automata;affine hybrid systems;abstraction by projection and application to multi-affine systems;observability of switched linear systems;inference methods for autonomous stochastic linear hybrid systems;synthesis for idle speed control of an automotive engine;application to highways;understanding the bacterial stringent response using reachability analysis of hybrid systems;a SAT-based hybrid solver for optimal control of hybrid systems;incremental search methods for reachability analysis of continuous and hybrid systems;discrete and hybrid nonholonomy;approximations of the rate of growth of switched linear systems;the hybrid guaranteed capture basin algorithm in economics;staying alive as cheaply as possible;on O-minimal hybrid systems;extended stochastic hybrid systems and their reachability problem;on the controllability of bimodal piecewise linear systems;observability of piecewise-affine hybrid systems;non-deterministic temporal logics for general flow systems;almost ASAP semantics;discrete state estimators for a class of hybrid systems on a lattice;benchmarks for hybrid systems verification;on the optimal control of switch-mode DC-DC converters;event-driven programming with logical execution times;a stochastic hybrid model for air traffic control simulation;stochastic hybrid systems;rigorous modeling of hybrid systems using interval arithmetic constraints;modeling subtilin production in bacillus subtilis using stochastic hybrid systems;sound code generation from communicating hybrid models and multi-parametric toolbox MPT.
A combination approach of a modified PIPE algorithm to find the best architecture of hierarchical TS fuzzy model for a given problem and a simple evolutionary programming algorithm to optimize the parameters embedded ...
详细信息
A combination approach of a modified PIPE algorithm to find the best architecture of hierarchical TS fuzzy model for a given problem and a simple evolutionary programming algorithm to optimize the parameters embedded in the hierarchical TS fuzzy model is proposed. Simulation result for the chaotic time-series prediction problem shows the feasibility and effectiveness of the proposed method.
Least-squares design of Nyquist filter with specified passband and stopband ripples relates to a constrained FIR filter design problem with constraints in time- and frequency-domain. this paper deals withthese constr...
详细信息
Least-squares design of Nyquist filter with specified passband and stopband ripples relates to a constrained FIR filter design problem with constraints in time- and frequency-domain. this paper deals withthese constraints uniformly, and formulates the design problem as a quadratic programming problem with equality and inequality constraints. A novel and efficient algorithm is presented; it is referred to as a projected least-squares algorithm. the algorithm first computes the unconstrained minimization solution of the quadratic cost function, and then projects it successively onto the boundaries of the active constraints of the problem. the algorithm is much more efficient than the existing active-set method for quadratic programming problems. Design examples demonstrate the high efficiency of the algorithm.
Present a corresponding point match algorithm based on "the regulation of the minimum summation of euclid distance". this algorithm gives the regulation that makes the corresponding points match to the highe...
详细信息
Present a corresponding point match algorithm based on "the regulation of the minimum summation of euclid distance". this algorithm gives the regulation that makes the corresponding points match to the highest accuracy according to the condition that the relative position is almost fixed for corresponding points in adjoining area if two images are acquired by means of multi-view. this match algorithm is realized by evolutionary programming. By experiment on PC, the result demonstrates that it can match the most corresponding points in low time cost.
暂无评论