A brief overview is given of the STATEMATE system, a graphical working environment, intended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded...
详细信息
ISBN:
(纸本)0897912586
A brief overview is given of the STATEMATE system, a graphical working environment, intended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing, respectively, structure, functionality, and behavior. these views are represented by three graphical languages, the most intricate of which is the language of state charts used to depict reactive behavior over time. In addition to the use of state charts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
Bronze wine vessels were not only important ritual *** also containers with elegance form and graceful pattern,which have far-reaching influence to Chinese traditional form and aesthetics. the paper analyzes the ch...
详细信息
ISBN:
(纸本)9781424452668
Bronze wine vessels were not only important ritual *** also containers with elegance form and graceful pattern,which have far-reaching influence to Chinese traditional form and aesthetics. the paper analyzes the characters of rhythm and metre in bronze wine vessels’form curves through withdrawing and refining the form curves, and is presented to offer direction and consulted data to modern design of wine vessels.
In view of the significance of material in modern lacquer painting, the thesis, with material characteristics and esthetic charms of lead wire as well as its material language transformation in modern lacquer painting...
详细信息
In view of the significance of material in modern lacquer painting, the thesis, with material characteristics and esthetic charms of lead wire as well as its material language transformation in modern lacquer painting, demonstrates the material language context and esthetic preference of lead wire in modern lacquer painting so as to display contemporary nature of modern lacquer painting and achieve naturalness and freedom of artistic spirit from respect and return of esthetic value of lead wire, simplicity and pureness of esthetic expression, naturalness and freedom of artistic spirit, and so on.
this paper proposes a backup network planning method for survivable WDM mesh networks. the proposed method centers around multiple backup cycles where each network link is assigned m backup cycles and each cycle prote...
详细信息
the packaging of goods is a language which tells the customers the attributes, functions, connotation, taste and cultural meaning of products. In this paper, the basic theory of semiotics is used to interpret the s...
详细信息
the packaging of goods is a language which tells the customers the attributes, functions, connotation, taste and cultural meaning of products. In this paper, the basic theory of semiotics is used to interpret the semiotic meaning of packaging, and the concept of packaging semantics is put forward. First, some basic element, such as symbols, semiotics, and product semantics are discussed in brief then, the concept of packaging semantics is given. the connotation, structure, factors and their relationship organization also explored in depth. By researching, understanding and mastering packaging semantics, modern packaging designers will get some important guidance.
the proceedings contain 16 papers. the topics discussed include: improving Kerberos ticket acquisition during application service access control;a better time approximation scheme for e-passports;trust evaluation of a...
ISBN:
(纸本)9783642403422
the proceedings contain 16 papers. the topics discussed include: improving Kerberos ticket acquisition during application service access control;a better time approximation scheme for e-passports;trust evaluation of a system for an activity;defining a trust framework design process;executable model-based risk analysis method for identity management systems: using hierarchical colored Petri Nets;preserving the user's privacy in social networking sites;towards privacy-by-design peer-to-peer cloud computing;preservation of utility through hybrid k-anonymization;the security of information systems in Greek hospitals;risk acceptance and rejection for threat and opportunity risks in conflicting incentives risk analysis;assessing the feasibility of security metrics;the influence of social media use on willingness to share location information;and a qualitative metrics vector for the awareness of smartphone security users.
In this paper, an active intelligent reflecting surface (IRS) assisted secure integrated sensing and simultaneous wireless information and power transfer system is proposed withthe power splitting (PS) model adopted....
详细信息
Rendering of volume caustics in participating media is often expensive, even with different acceleration approaches. Basic volume photon tracing is used to render such effects, but rather slow due to its massive quant...
详细信息
Rendering of volume caustics in participating media is often expensive, even with different acceleration approaches. Basic volume photon tracing is used to render such effects, but rather slow due to its massive quantity of photons to be traced. In this paper we present an image-based volume photon tracing method for rendering volume caustics at real-time frame rates. Motivated by multi-image based photon tracing, our technique uses multiple depth maps to accelerate the intersection test procedure, achieving a plausible and fast rendering of volume caustics. Each photon dynamically selects the depth map layer for intersection test, and the test converges to an approximate solution using image space methods in a few recursions. this allows us to compute photon distribution in participating media while avoiding massive computation on accurate intersection tests with scene geometry. We demonstrate that our technique, combined with photon splatting techniques, is able to render volume caustics caused by multiple refractions.
the verification of continuous-time Markov chains (CTMCs) against continuous stochastic logic (CSL) [3,6], a stochastic branchingtime temporal logic, is considered. CSL facilitates among others the specification of st...
详细信息
the industrial use of ad hoc implementation methods for non-functional constrained tasks has resulted in unnecessary expensive projects. In some cases, ad hoc methods result in overly many iterations to be made and in...
详细信息
暂无评论