標(biāo)題: Titlebook: Computational Science and Its Applications -- ICCSA 2013; 13th International C Beniamino Murgante,Sanjay Misra,Osvaldo Gervasi Conference p [打印本頁(yè)] 作者: 近地點(diǎn) 時(shí)間: 2025-3-21 18:24
書目名稱Computational Science and Its Applications -- ICCSA 2013影響因子(影響力)
書目名稱Computational Science and Its Applications -- ICCSA 2013影響因子(影響力)學(xué)科排名
書目名稱Computational Science and Its Applications -- ICCSA 2013網(wǎng)絡(luò)公開度
書目名稱Computational Science and Its Applications -- ICCSA 2013網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computational Science and Its Applications -- ICCSA 2013被引頻次
書目名稱Computational Science and Its Applications -- ICCSA 2013被引頻次學(xué)科排名
書目名稱Computational Science and Its Applications -- ICCSA 2013年度引用
書目名稱Computational Science and Its Applications -- ICCSA 2013年度引用學(xué)科排名
書目名稱Computational Science and Its Applications -- ICCSA 2013讀者反饋
書目名稱Computational Science and Its Applications -- ICCSA 2013讀者反饋學(xué)科排名
作者: 異教徒 時(shí)間: 2025-3-21 20:43 作者: CRATE 時(shí)間: 2025-3-22 02:47 作者: Facet-Joints 時(shí)間: 2025-3-22 04:50
https://doi.org/10.1007/978-0-387-09515-8 propose a method to reduce resource usage by selectively not tracking certain memories and registers which we call .. Our evaluation results show that by untainting we can reduce number of taint operation by considerable amount.作者: 擴(kuò)大 時(shí)間: 2025-3-22 09:00
Deepak G. Nair,Robert B. Smith IIIame set of feature extracted from the GLCM. The experimental results show that the features extracted from our fuzzy co-occurrence matrix yields a better classification performance than that from the regular GLCM. The best results on validation set using the features computed from our fuzzy co-occur作者: scotoma 時(shí)間: 2025-3-22 15:53 作者: scotoma 時(shí)間: 2025-3-22 18:20
Computational Science and Its Applications -- ICCSA 201313th International C作者: 效果 時(shí)間: 2025-3-22 23:31
Modeling and Verification of Change Processes in Collaborative Software Engineeringd in the previous works. To evaluate the feasibility of our proposed approach, this paper presents a formal model of CSE using Colored Petri Nets (CPN) to model the artifacts, and both data flow and control flow of CSWs. CPN Tools is used to edit, simulate, and verify the CPN model of CSE to detect 作者: 許可 時(shí)間: 2025-3-23 01:34
Frequent Statement and De-reference Elimination for Distributed Programsory accesses (the analysis of .)..Two advantages of our work over related work are the following. The hierarchical style of concurrent parallel computers is similar to the memory model used in this paper. In our approach, each analysis result is assigned a type derivation (serves as a correctness pr作者: cathartic 時(shí)間: 2025-3-23 05:43 作者: NIL 時(shí)間: 2025-3-23 12:19
A Novel Fuzzy Co-occurrence Matrix for Texture Feature Extractioname set of feature extracted from the GLCM. The experimental results show that the features extracted from our fuzzy co-occurrence matrix yields a better classification performance than that from the regular GLCM. The best results on validation set using the features computed from our fuzzy co-occur作者: 我還要背著他 時(shí)間: 2025-3-23 17:42
Role “Intellectual Processor” in Conceptual Designing of Software Intensive Systemscy of a conceptual work can be substantially increased if a human part of collaborative works will be fulfilled by designers in a form of an execution of programs written in a specialized pseudo-code language. Such programs simulate an experimental activity of designers investigating the own behavio作者: 浮雕寶石 時(shí)間: 2025-3-23 18:16
Modeling and Verification of Change Processes in Collaborative Software Engineering fact that the workers do not have sufficient information about the others’ work and complicated dependencies among artifacts can lead to unexpected inconsistencies among the change-impacted artifacts. By focusing on the contexts of the changes, i.e. the change processes containing the changes, rath作者: EWER 時(shí)間: 2025-3-24 01:57 作者: 共同生活 時(shí)間: 2025-3-24 03:41 作者: 平庸的人或物 時(shí)間: 2025-3-24 07:39 作者: KIN 時(shí)間: 2025-3-24 12:05 作者: 阻止 時(shí)間: 2025-3-24 15:38 作者: miracle 時(shí)間: 2025-3-24 21:23
Formalization and Model Checking of SysML State Machine Diagrams by CSP#f SysML state machine diagrams in which the diagrams were translated into CSP# processes that could be verified by the state-of-the-art model checker PAT. In this paper, we make several modifications and add new rules to the translation described in that work. First, we modify three translation rule作者: Obligatory 時(shí)間: 2025-3-24 23:57 作者: JEER 時(shí)間: 2025-3-25 06:13 作者: ovation 時(shí)間: 2025-3-25 08:06
Multi Back-Ends for a Model Library Abstraction Layertant either as a means of communication or as parts of realizations. Unfortunately, these models are rarely reused which might be due to poor tool support..A model recommender system is one possible way out, but it bases on high quality data which is most likely stored in a database and needs to ble作者: Polydipsia 時(shí)間: 2025-3-25 12:51
Explicit Untainting to Reduce Shadow Memory Usage and Access Frequency in Taint Analysises being done on efficiently finding software vulnerabilities to eliminate them. General program testing method for finding flaws in software can be categorized into whitebox and blackbox testing. In whitebox testing, tester examines the internals of the target program such as source codes while in 作者: CRANK 時(shí)間: 2025-3-25 17:24 作者: Panther 時(shí)間: 2025-3-25 23:20
Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainone of the most important quality attributes. In this work we performed a statistical analysis of maintainability metrics in three mainstream open-source applications, Tomcat (webserver), Jedit (text editor) and Vuze (a peer to peer client). The metrics are applied to source-code and to derived simi作者: 注射器 時(shí)間: 2025-3-26 03:33
Systematic Mapping of Architectures for Telemedicine Systemscuracy of medical diagnoses through the provision of a second opinion, and remote patient monitoring. Accordingly, the number of software solutions is increasing. Software Architecture is a subarea of Software Engineering whose goal is to study the system components, their external properties, and t作者: 聲音刺耳 時(shí)間: 2025-3-26 08:13
Architectural Model for Generating User Interfaces Based on Class Metadata tend to ignore them, once it takes a lot of time and effort for duplicated pieces of code to be found and eliminated. To address this issue, the present work presents a new model for source code generation for user interface development. The generation process happens at runtime, each time a page i作者: 闡明 時(shí)間: 2025-3-26 11:52
A Novel Fuzzy Co-occurrence Matrix for Texture Feature Extractionication. This classification is not an easy problem since texture can be non-uniform due to many reasons, e.g., rotation, scale, and etc. To help in this process, a good feature extraction method is needed. In this paper, we incorporate the fuzzy C-means (FCM) into the gray level co-occurrence matri作者: 高深莫測(cè) 時(shí)間: 2025-3-26 12:40 作者: 生銹 時(shí)間: 2025-3-26 16:55 作者: occult 時(shí)間: 2025-3-26 21:02
https://doi.org/10.1007/978-1-4684-0203-2at the solutions generated are better than those obtained by the well - known heuristic in the literature. Statistical significance of better results produced by the proposed heuristics is also reported.作者: 規(guī)范就好 時(shí)間: 2025-3-27 01:53 作者: 食品室 時(shí)間: 2025-3-27 05:51
Role “Intellectual Processor” in Conceptual Designing of Software Intensive Systemsr in solution processes of project tasks. Acting similarly a scientist any designer will play a role named in the approach as “intellectual processor”. Such approach was investigated and evolved till an instrumental system providing the pseudo-code programming of intellectual processors combined with computer processors.作者: Oratory 時(shí)間: 2025-3-27 12:45
Improving Requirements Specification in WebREd-Tool by Using a NFR’s Classification security). In this paper, we improve our Model-Driven tool, named WebREd-Tool, extending the requirements metamodel with a NFRs classification, the main idea is to help the Web application designer with the NFRs specification to make better design decisions and also to be used to validate the quality of the final Web application.作者: 違法事實(shí) 時(shí)間: 2025-3-27 16:54
Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systemsas demonstrated to be effective for representing software requirements of real-time systems at multiple levels of abstraction and classification. The proposed metamodel represents concisely the traceability of requirements in a high abstraction level.作者: FLIT 時(shí)間: 2025-3-27 19:20 作者: AWRY 時(shí)間: 2025-3-27 23:02
Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainlar architectural metrics using scatter plot, Pearson’s correlation coefficient and significance tests. The observations contradict the common assumption that software quality attributes (aka non-functional requirements) are mostly determined at the architectural level and raise new issues for future works in this field.作者: 類人猿 時(shí)間: 2025-3-28 03:27
Architectural Model for Generating User Interfaces Based on Class Metadatas requested, uses the resulting content of the request processing and a set of templates and is based on class metadata. As result, application developers have new tool to avoid inconsistencies that can be originated by code duplication.作者: 鬧劇 時(shí)間: 2025-3-28 06:32 作者: 釋放 時(shí)間: 2025-3-28 12:00 作者: graphy 時(shí)間: 2025-3-28 15:10
Deepak G. Nair,Robert B. Smith III security). In this paper, we improve our Model-Driven tool, named WebREd-Tool, extending the requirements metamodel with a NFRs classification, the main idea is to help the Web application designer with the NFRs specification to make better design decisions and also to be used to validate the quality of the final Web application.作者: HOWL 時(shí)間: 2025-3-28 21:13 作者: amnesia 時(shí)間: 2025-3-29 02:16
Deepak G. Nair,Robert B. Smith IIInd into an environment. Hence, approaching model recommendations in a model driven way and generating the underlying data store which makes do with an existing infrastructure is desirable. In this paper we describe the underlying model and the obstacles we had to overcome to make this approach work for relational and non relational databases.作者: 譏諷 時(shí)間: 2025-3-29 04:37
Deepak G. Nair,Robert B. Smith IIIlar architectural metrics using scatter plot, Pearson’s correlation coefficient and significance tests. The observations contradict the common assumption that software quality attributes (aka non-functional requirements) are mostly determined at the architectural level and raise new issues for future works in this field.作者: antiquated 時(shí)間: 2025-3-29 10:57
Deepak G. Nair,Robert B. Smith IIIs requested, uses the resulting content of the request processing and a set of templates and is based on class metadata. As result, application developers have new tool to avoid inconsistencies that can be originated by code duplication.作者: Bereavement 時(shí)間: 2025-3-29 15:16 作者: 共同時(shí)代 時(shí)間: 2025-3-29 19:22 作者: Eeg332 時(shí)間: 2025-3-29 19:46 作者: 難聽的聲音 時(shí)間: 2025-3-30 02:00
Relating Goal Modeling with BPCM Models in a Combined Framework development methodology to guide the development of goal models in terms of i* from business process characterizing model is proposed. Furthermore, the development methodology is illustrated by an exemplar of call for sponsors case in the field of scientific conference organization.作者: Coeval 時(shí)間: 2025-3-30 05:49 作者: 摘要記錄 時(shí)間: 2025-3-30 08:28 作者: Explosive 時(shí)間: 2025-3-30 13:38 作者: FAWN 時(shí)間: 2025-3-30 17:55
https://doi.org/10.1007/978-0-387-09515-8 of well-formed properties that a measure should verify when capturing a measurement concept (which are derived from the model). We exemplify our approach through a thorough formal definition of UML statechart diagrams measures and its well-formed constraints of size measures.作者: AGATE 時(shí)間: 2025-3-30 22:04
https://doi.org/10.1007/978-0-387-09515-8und possibilities to use the algebraic arrow data structure to model hardware. This paper presents some of them which showed to be most useful. A simple example, the implementation of a cyclic redundancy check (CRC) algorithm, is used to illustrate the presented techniques.作者: Cumulus 時(shí)間: 2025-3-31 02:58 作者: photophobia 時(shí)間: 2025-3-31 08:34 作者: PSA-velocity 時(shí)間: 2025-3-31 12:12 作者: Heart-Attack 時(shí)間: 2025-3-31 16:50 作者: V切開 時(shí)間: 2025-3-31 19:43
Evaluation of Process Architecture Design Methods Some methods considered the attribute of reuse at the product quality level. Furthermore, several methods have been validated in the academy and they are considered in this paper as a starting point for validation.作者: PAC 時(shí)間: 2025-4-1 01:28 作者: 愛社交 時(shí)間: 2025-4-1 05:09
Deepak G. Nair,Robert B. Smith IIIcy of a conceptual work can be substantially increased if a human part of collaborative works will be fulfilled by designers in a form of an execution of programs written in a specialized pseudo-code language. Such programs simulate an experimental activity of designers investigating the own behavio作者: 罐里有戒指 時(shí)間: 2025-4-1 07:39
Deepak G. Nair,Robert B. Smith III fact that the workers do not have sufficient information about the others’ work and complicated dependencies among artifacts can lead to unexpected inconsistencies among the change-impacted artifacts. By focusing on the contexts of the changes, i.e. the change processes containing the changes, rath作者: LAITY 時(shí)間: 2025-4-1 13:16
https://doi.org/10.1007/978-0-387-09515-8 can be seen as a business-oriented model for the use in the early stages of a project, both for traditional development, but also for the development of multi-channel solutions working across a set of contexts. The combined modeling framework consists of goal modeling, process modeling and business作者: Fermentation 時(shí)間: 2025-4-1 15:03 作者: Tinea-Capitis 時(shí)間: 2025-4-1 18:47
Deepak G. Nair,Robert B. Smith III of system failure if the Non-Fuctional Requirements (NFRs), or system qualities, are not specified in advance. In Web Engineering (WE) field occurs very similar, but with some other issues related to special characteristics of the Web applications such as the navigation (with the application of the作者: 仇恨 時(shí)間: 2025-4-2 00:11
