Browsing Computer Science by Issue Date
Now showing items 61-80 of 549
-
Feature-based rationale management system for supporting software architecture adaptation
(World Scientific Publishing Co., 2012-11)Each software architecture design is the result of a broad set of design decisions and their justifications, that is, the design rationale. Capturing the design rationale is important for a variety of reasons such as ... -
Verification and analysis of domain-specific models of physical characteristics in embedded control software
(Elsevier, 2012-12)ContextA considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics ... -
Automated classification of static code analysis alerts: a case study
(IEEE, 2013)Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, developers are usually exposed to a large number of alerts. Moreover, some of these alerts are ... -
A run-time verification framework for smart grid applications implemented on simulation frameworks
(IEEE, 2013)Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation ... -
Nearest neighbor approach in speaker adaptation for HMM-based speech synthesis
(IEEE, 2013)Statistical speech synthesis (SSS) approach has become one of the most popular and successful methods in the speech synthesis field. Smooth speech transitions, without the spurious errors that are observed in unit selection ... -
Spectrum-based fault localization for diagnosing concurrency faults
(Springer Science+Business Media, 2013)Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization ... -
Enabling difference-based dynamic partial self reconfiguration for large differences
(IEEE, 2013)This paper presents a new Dynamic Partial Self Reconfiguration (DPSR) flow for Xilinx FPGAs. Leveraging the Xilinx FPGA Editor and PlanAhead tools, we provide two implementation approaches that enable partial reconfiguration ... -
Agilely assigning sensing assets to mission tasks in a coalition context
(IEEE, 2013)When managing intelligence, surveillance, and reconnaissance (ISR) operations in a coalition context, assigning available sensing assets to mission tasks can be challenging. The authors' approach to ISR asset assignment ... -
Agent-based semantic collaborative search
(Executive Committee, Taiwan Academic Network, Ministry of Education, 2013)Next generation of the Web builds upon technologies such as Semantic Web and Intelligent Software Agents. These technologies aim at knowledge representation that allows both humans and software agents to understand and ... -
Synthesis of clock trees for sampled-data analog IC blocks
(IEEE, 2013)This paper describes a methodology for automated design of clock trees in Sampled-Data Analog Circuits (SDACs). The current practice in the industry and academia for clock tree design of SDACs is a manual process, which ... -
Hybrid nearest-neighbor/cluster adaptive training for rapid speaker adaptation in statistical speech synthesis systems
(International Speech Communication Association, 2013)Statistical speech synthesis (SSS) approach has become one of the most popular methods in the speech synthesis field. An advantage of the SSS approach is the ability to adapt to a target speaker with a couple of minutes ... -
Reasoning under uncertainty: variations of subjective logic deduction
(IEEE, 2013)This work develops alternatives to the classical subjective logic deduction operator. Given antecedent and consequent propositions, the new operators form opinions of the consequent that match the variance of the consequent ... -
TRIBE: Trust revision for information based on evidence
(IEEE, 2013)In recent years, the number of information sources available to support decision-making has increased dramatically. However, more information sources do not always mean higher precision in the fused information. This is ... -
DAPNA: an architectural framework for data processing networks
(Springer Science+Business Media, 2013)A data processing network is as a set of (software) components connected through communication channels to apply a series of operations on data. Realization and maintenance of large-scale data processing networks necessitate ... -
TIDY: A trust-based approach to information fusion through diversity
(IEEE, 2013)Trust and reputation are significant components in open dynamic systems for making informed and reliable decisions. State-of-the-art information fusion models that exploit these mechanisms generally rely on reports from ... -
Reasoning with uncertain information and trust
(SPIE, 2013)A limitation of standard Description Logics is its inability to reason with uncertain and vague knowledge. Although probabilistic and fuzzy extensions of DLs exist, which provide an explicit representation of uncertainty, ... -
Shonan challenge for generative programming: short position paper
(ACM, 2013)The appeal of generative programming is "abstraction without guilt": eliminating the vexing trade-off between writing high-level code and highly-performant code. Generative programming also promises to formally capture the ... -
Online association rule mining over fast data
(IEEE, 2013)To extract useful and actionable information in real-time, the information technology (IT) world is coping with big data problems today. In this paper, we present implementation details and performance results of ReCEPtor, ... -
Emergent emotion via neural computational energy conservation on a humanoid robot
(IEEE, 2013)This paper presents our initial work on how emotion based behaviors may emerge through computational mechanisms. We hold that in addition to basic emotions such as anger and fear that serves bodily well being of the organism, ... -
Medical podcasting in Iran; pilot, implementation and attitude evaluation
(Tehran University of Medical Sciences, 2013)Podcasting has become a popular means of transferring knowledge in higher education through making lecture contents available to students at their convenience. Accessing courses on media players provides students with ...
Share this page