During the development of a software, its source code is continuously being modified. Even after the deployment, the maintenance work still involves changing the source code. Some of the modification performed on the ...
详细信息
Modern real time embedded systems are typically composed of multiple functional and nonfunctional concerns with nonfunctional concerns affect the former in many aspects. MARTE, an extension profile of UML2, aims to be...
详细信息
state Machine Diagram (SMD) is one of the SysML behavior diagrams, but it is a kind of semi-formal model language. As a consequence, models can not be verified conveniently and efficiently, especially in real-time emb...
详细信息
As point-to-point codes are widely exploited by most communication systems, it's performance limits under all kinds of communication channels are very important for the communication system. In this paper, we deri...
详细信息
With the pervasiveness of the success cases of SaaS applications, outsourcing the manuscript submission and review system of periodical presses to SaaS providers becomes a new trend. This study proposes a solution for...
详细信息
ISBN:
(纸本)9781467350686
With the pervasiveness of the success cases of SaaS applications, outsourcing the manuscript submission and review system of periodical presses to SaaS providers becomes a new trend. This study proposes a solution for constructing the journal manuscript submission and review system based on level-3 maturity model of SaaS. In this article, the requirements of the system have been elicited, the architecture has been designed, and the key implementation has been presented. By renting the services provided by the system instead of buying or developing, the periodical presses can not only obtain better technical support, but also save costs. In addition, the periodical press can utilize its agglomeration effect based on SaaS platform and subscribe the value-added services such as journal recommendation service to implicit contributors and reviewer recommendation service to periodical presses which will be helpful to promote the quality and impact factor of the journal.
Depth of field (DoF) is a depth range outside of which objects are blurred. DoF has been widely used in photography and films by artists and is expected to be applied to realistic image rendering and virtual reality a...
详细信息
Cyber-Physical systems (CPS) play an important role in the safety-critical systems. It is very significant to verify whether some concerned behaviors exist in a CPS. Hybrid interface automata, extension of a non-hybri...
详细信息
Cyber-Physical systems (CPS) play an important role in the safety-critical systems. It is very significant to verify whether some concerned behaviors exist in a CPS. Hybrid interface automata, extension of a non-hybrid version, are used to model a CPS. A scenario, described by MARTE sequence diagram, specifies the concerned behaviors. An algorithm is given for bounded checking the behavioral nonexistent consistency, namely, the behaviors specified by a scenario all do not exist in a hybrid interface automaton. The idea of the algorithm is, firstly, encoding the behavioral nonexistent consistency to an unconstrained dynamic programming, secondly, solving the unconstrained dynamic programming by a genetic algorithm. The algorithm can search the results on the real domain, and be applied to nonlinear as well as linear hybrid systems.
In teaching of computer language, how can we improve their hearing of hearing-impaired students featured with special physiological characteristics and reduce the inconvenience and obstacles caused during teaching kno...
详细信息
In teaching of computer language, how can we improve their hearing of hearing-impaired students featured with special physiological characteristics and reduce the inconvenience and obstacles caused during teaching knowledge in the most effective way? In this research, we have applied simulation technology and developed the teaching simulation platform for them, and it is practically demonstrated in the hearing-impaired students in higher education and the application of research result that the system works well, with intuitive, efficient, and other characteristics, a strong promotion of the college teaching model changes, the language learning, education teaching and research referred.
In this paper, a discriminant manifold learning method based on Locally Linear Embedding (LLE), which is named Locally Linear Representation Fisher Criterion (LLRFC), is proposed for the classification of tumor gene e...
详细信息
Community detection in bipartite network is very important in the research on the theory and applications of complex network analysis. In this paper, an algorithm for detecting community structure in bipartite network...
详细信息
暂无评论