- Subscribe to this page:
- RSS
- Email Alert
software engineering
(7683 results)-
Whitepapers
Implementing Haptic Feedback Environments From High-Level Descriptions
Apr 2009
Haptic feedback can be a critical component of virtual environments used in cognitive research, rehabilitation, military training, and entertainment. A limiting factor in the innovation and the...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Design and Implementation of an Improved C Source-Code Level Program Energy Model
Apr 2009
In embedded systems, the frequent execution of software drives the activities of hardware, which causes the energy consumption of systems. In this paper, the authors first propose an improved C...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
A Novel Reduction Algorithm Based on Expert Knowledge
Apr 2009
For complex systems and some new technology fields, simply rely on machines learning, the results are not reliable. Absorb the expert knowledge, will help one to more accurately grasp the status...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
SmartSAR: A Component-Based Hierarchy Software Platform for Automotive Electronics
Apr 2009
As the automotive electronic system grows larger and more complex, research on software architecture and development methodology becomes more important. This paper proposes a component-based...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
A Formal Model for Component-Based Embedded Software Development
Apr 2009
This paper presents a formal model for specification, verification, and composition of component based embedded software. The authors describe how components are specified from the syntactical...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Automatic Code Generation for Synchronous Reactive Communication
Apr 2009
Synchronous Reactive models are used in Model-Based Design to define embedded control applications. The advantage of Model-Based Design is that system properties can be verified on the model and...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Singularity: A New Platform for OS Research and Dependable System for Operating System
Dec 2011
It is difficult for the academic communities to experiment with computer architecture. Singularity is designed to make it easier for researchers to test how operating systems and applications...
Provided by International Journal on Computer Science and Technology (IJCST)
-
Whitepapers
Comparative Analysis of Software Development Life Cycle Models
Dec 2011
The trends of increasing technical complexity of the systems coupled with the need for repeatable and predictable process methodologies have driven system developers to establish system...
Provided by International Journal on Computer Science and Technology (IJCST)
-
Whitepapers
Optimized Software Cost Estimation Using Swarm Optimization
Dec 2011
Software cost estimation is accounted as an important factor while making estimations in Software Engineering. There is no simple way to make an accurate estimate of the effort required to develop...
Provided by International Journal on Computer Science and Technology (IJCST)
-
Whitepapers
A Study on Fundamental Concepts of Data Mining
Dec 2011
The smallest elements that make up the system of neural networks are neurons. Neurons are typical programs those up on running acts like the people normal brain neurons in identifying the...
Provided by International Journal on Computer Science and Technology (IJCST)
-
Whitepapers
A Systematic Approach for Software Test Cases Generation Using Gray Box Testing With UML Activity Diagrams
Dec 2011
The trend of software engineering is shifting towards Component-Based Software Engineering (CBSE) from the traditional methods of software engineering. Everybody wants the product to be ready...
Provided by International Journal on Computer Science and Technology (IJCST)
-
Whitepapers
Modular Consensus Algorithms for the Crash-Recovery Model
Sep 2009
In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined local state. The...
Provided by University of Mannheim
-
Whitepapers
A Case Study of Cross-System Porting in Forked Software Projects
Jul 2012
Software forking - creating a variant product by copying and modifying an existing product - is often considered an ad hoc, low cost alternative to principled product line development. To maintain...
Provided by Association for Computing Machinery
-
Whitepapers
A Field Study of Refactoring Challenges and Benefits
Jul 2012
It is widely believed that refactoring improves software quality and developer productivity. However, few empirical studies quantitatively assess refactoring benefits or investigate developers'...
Provided by Association for Computing Machinery
-
Whitepapers
Causality Checking for Complex System Models
May 2012
The authors present an approach for the algorithmic computation of causalities in system models that they refer to as causality checking. They are basing their notion of causality on...
Provided by University of Konstanz
-
Whitepapers
An Empirical Study of Long-Lived Code Clones
Dec 2010
Previous research has shown that refactoring code clones as soon as they are formed or discovered is not always feasible or worthwhile to perform, since some clones never change during evolution...
Provided by Hong Kong University of Science and Technology
-
Whitepapers
Analysis of an Airport Surveillance Radar Using the QuantUM Approach
Mar 2012
The authors report on the modeling and formal analysis of reliability requirements in the context of an Airport Surveillance Radar system using SysML and probabilistic model checking. The system...
Provided by University of Konstanz
-
Whitepapers
Towards Causality Checking for Complex System Models
Jan 2012
With the increasing growth of the size and complexity of modern safety-critical systems, the demand for model based engineering methods that both help in architecting such systems and to asses...
Provided by University of Konstanz
-
Whitepapers
From Probabilistic Counterexamples Via Causality to Fault Trees
Jun 2011
In recent years, several approaches to generate probabilistic counterexamples have been proposed. The interpretation of stochastic counterexamples, however, continues to be problematic since they...
Provided by University of Konstanz
-
Whitepapers
DiPro - A Tool for Probabilistic Counterexample Generation
May 2011
The computation of counterexamples for probabilistic model checking has been an area of active research over the past years. In spite of the achieved theoretical results in this field, there is no...
Provided by University of Konstanz
-
Whitepapers
Modeling and Analyzing Spike Timing Dependent Plasticity With Linear Hybrid Automata
May 2011
The authors propose a model for synaptic plasticity according to the Spike Timing Dependent Plasticity (STDP) theory using Linear Hybrid Automata (LHA). They first present a compositional LHA...
Provided by University of Konstanz
-
Whitepapers
Probabilistic Verification of Architectural Software Models Using SoftArc and Prism
May 2011
In this paper, the authors will describe the SoftArc approach. With the SoftArc approach it is possible to model and analyze safety-critical embedded and distributed systems that consist of both...
Provided by Taylor & Francis Group
-
Whitepapers
Formal Performability Evaluation of Architectural Models of Critical Infrastructures
Aug 2010
In this paper, the authors introduce MIOA, a stochastic process algebra-like specification language with finite-domain datatypes, as well as the logic intSPDL, and its model checking algorithms....
Provided by Taylor & Francis Group
-
Whitepapers
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
Jun 2010
Currently, no approaches are known that allow for non-termination proofs of concurrent programs which account for asynchronous communication via FIFO message queues. Those programs may be written...
Provided by University of Konstanz
-
Whitepapers
K*: Heuristics-Guided, On-the-Fly k Shortest Paths Search
May 2009
In this paper, the authors consider the K-Shortest-Paths Problem (KSP) which is about finding the k shortest paths from a start vertex s to a target vertex t in a directed weighted graph G for an...
Provided by University of Konstanz
-
Whitepapers
Heuristic Search for Unbounded Executions
May 2009
The authors present a heuristic search based approach to finding un-bounded executions in software models that can be described using Communicating Finite State Machines (CFSMs). This improves the...
Provided by University of Konstanz
-
Whitepapers
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
May 2009
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper, the authors apply directed explicit state space search to discrete- and...
Provided by University of Konstanz
-
Whitepapers
Automated Predicate Abstraction for Real-Time Models
Nov 2009
Model checking has been widely successful in validating and debugging hardware designs and communication protocols. However, state-space explosion is an intrinsic problem which limits the...
Provided by University of Konstanz
-
Whitepapers
Automated Invariant Generation for the Verification of Real-Time Systems
Mar 2009
The authors present an approach to automatically generating invariants for timed automata models. The CIPM algorithm that they propose first computes new invariants for timed automata control...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
A Term Rewriting Technique for Decision Graphs
Jun 2009
The authors provide an automatic verification for a fragment of FOL quantifier-free logic with zero, successor and equality. They use BDD representation of such formulas and to verify them, they...
Provided by Reed Elsevier
-
Whitepapers
Survey on Directed Model Checking
Feb 2009
This paper surveys and gives historical accounts to the algorithmic essentials of directed model checking, a promising bug-hunting technique to mitigate the state explosion problem. In the...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Generation of Counterexamples for Model Checking of Markov Decision Processes
Jul 2009
The practical usefulness of a model checker as a debugging tool relies on its ability to provide diagnostic information, sometimes also referred to as a counterexample. Current stochastic model...
Provided by University of Konstanz
-
Whitepapers
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
Jun 2009
Failure Mode and Effects Analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does not take the...
Provided by University of Konstanz
-
Whitepapers
Specification Languages for Stutter-Invariant Regular Properties
Aug 2009
Stutter-invariant specifications do not distinguish between system behaviors that differ from each other only by the number of consecutive repetitions of the observed system states. Stutter...
Provided by ETH Zurich
-
Whitepapers
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
May 2008
The authors present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this paper is to facilitate the identification of causal factors...
Provided by University of Konstanz
-
Whitepapers
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes
Aug 2008
The execution of a reactive system amounts to the repetitions of executions of control flow cycles in the component processes of the system. The way in which cycle executions are combined is not...
Provided by Springer Science+Business Media
-
Whitepapers
An Observation-Based Model for Fault Localization
Jul 2008
Automatic techniques for helping developers in finding the root causes of software failures are extremely important in the development cycle of software. In this paper, the authors study a dynamic...
Provided by Association for Computing Machinery
-
Whitepapers
Automatic Software Fault Localization Using Generic Program Invariants
Mar 2008
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of low-cost, generic invariants...
Provided by Association for Computing Machinery
-
Whitepapers
Interactive Specification and Verification of Behavioral Adaptation Contracts
May 2012
Services can be accessed and used to fulfill basic requirements, or can be composed with other services in order to build bigger systems which aim at working out complex tasks. These services must...
Provided by Universidad de Malaga
-
Whitepapers
Using Feature Modelling and Automations to Select Among Cloud Solutions
May 2012
Cloud computing is a major trend in distributed computing environments. Resources are accessed on demand by customers and are delivered as services by cloud providers in a pay-per-use model....
Provided by University of Namur
-
Case Studies
Australian Wine Selectors Toasts the Performance of Its IT Systems
Mar 2008
Australian Wine Selectors operates a sophisticated automated call center with predictive dialing capabilities together with mission-critical business applications, including an ERP and CRM system....
Provided by Hewlett-Packard (HP)
-
Case Studies
Thanks to HP Exstream, Data One Is the Acknowledged Specialist in "TransPromo" Documents
Jun 2009
Data One, already the French market leader in full colour printing and wishing to pioneer TransPromo documents, needed a complete, high-performance, evolving software platform for the composition,...
Provided by Hewlett-Packard (HP)
-
Case Studies
SaaS Support Helps ISV Target New Markets and Launch Service-Based Products in Weeks
Jul 2009
Determined to enter the Software-as-a-Service (SaaS) market with its mobile business solutions, Independent Software Vendor (ISV) Mobile Tracing Services engaged the help of Microsoft Gold...
Provided by Microsoft
-
Case Studies
Solution Boosts Field Services Work With Rich Data Access, Both Online and Offline
Aug 2009
RemoteX Technologies, based in Stockholm, Sweden, is a solution provider that specializes in software and hardware for field service workers in a variety of industries. Supplying field service...
Provided by Microsoft
-
Case Studies
Police Department Ensures Super Bowl Security, Reduces Costs With New IT Tools
Jul 2009
During Super Bowl week, more than a half-million people converge on the host city, which has an enormous responsibility to ensure the security and smooth flow of events for visitors, as well as...
Provided by Microsoft
-
Case Studies
Quantum Corporation Speeds Time to Market, Reduces Costs With Product Lifecycle Management Applications
Jul 2009
Quantum Corporation wanted to accelerate product innovation and time to market for new storage products and upgrades, and optimize value realized on patents in the competitive data storage market...
Provided by Oracle
-
White Papers
The Case for Software-as-a-Service Analytics
Aug 2009
Software-as-a-Service (SaaS) has many advantages over traditional "on-premise" enterprise software, causing companies increasingly to consider SaaS solutions. Compared to most Business...
Provided by Quantivo Corporation
-
White Papers
How to Ensure You Achieve Cost Savings From Offshore Testing
Feb 2008
This paper addresses ways in which decision makers can ensure and prove that cost savings are achieved when testing is offshored. Offshoring of IT testing appeals to senior management, because it...
Provided by AppLabs
-
White Papers
The Future of Testing Is in the Business
Jun 2008
Testing is a business imperative. Testing helps organizations to realize and maximize the value of the business benefits that accrue from business transformation, business change and the IT...
Provided by AppLabs
-
White Papers
Substantial Savings Through Test Process Improvement
Aug 2008
The client is a leading systems integrator providing innovative solutions to assist organizations operating in many industries globally including media, healthcare and the environment. An internal...
Provided by AppLabs
-
White Papers
Performance Engineering for an Educational Software Provider
Aug 2008
The company combines the latest advances in brain research and proprietary technology to create products and services that develop learning and communication skills. It needed to ensure that their...
Provided by AppLabs
-
White Papers
Innovative Testing Academy Model for a Global Insurance Solutions Organization
Aug 2008
The client employs approximately 400 people, operating across different countries, counting blue chip companies in its portfolio of clients. The client needed a solution that would address the...
Provided by AppLabs
-
White Papers
Significant Savings Through a Business Testing Center of Excellence
Sep 2008
The client is one of the UK's oldest building societies and one of the largest mortgage lenders in the country. The risk of IT not fulfilling the business needs was great and the complexity of the...
Provided by AppLabs
-
White Papers
Ensuring Code Quality in Multi-Threaded Applications: How to Eliminate Concurrency Defects With Static Analysis
Jul 2008
Developers moving to multi-threaded applications need advanced new testing capabilities to help them control this new cause of software complexity. Because they are nearly impossible to replicate...
Provided by Coverity
-
White Papers
The Business Value of Software Deployment Services
Jul 2009
This white paper describes the challenges enterprises can encounter when deploying software packages into their IT environment. It also highlights what enterprises should consider when evaluating...
Provided by IDG (International Data Group)
-
White Papers
Achieving Top Performance and User Experience With Next Generation Services and Applications
Sep 2008
As more IP-based services are deployed on converged standards-based SDPs, operators are facing new challenges in assuring top quality of these services and the overall experience to end users and...
Provided by CA
-
White Papers
Integrating Agile Methods Into Your Process Driven Lifecycle
Nov 2008
This paper discusses how to integrate agile software builds into process driven lifecycle using both OpenMake Meister and CA Software Change Manager (SCM). Software Configuration Management...
Provided by Catalyst Systems
-
White Papers
Deploying Operating System Images on Latitude and Precision e-Series Systems Using Microsoft System Center Configuration Manager 2007
Apr 2009
IT departments typically manage a heterogeneous mix of decentralized client hardware and various software applications. Administration of large scale enterprises requires the use of centralized...
Provided by Dell
-
White Papers
Leveraging the Value of Imaging in Enterprise Mobility Applications
Jul 2008
The use of imaging in enterprise mobility applications has been far from pervasive, primarily due to the limitations of the typical cameras that are integrated into business-class mobile devices....
Provided by Motorola
-
Case Studies
Business Case Deloitte: Deloitte Experiences Runbook Software
Jan 2009
Deloitte is the brand name under which independent member firms throughout the world collaborate in the areas of audit, consultancy, financial advisory, risk management and tax advice. It wanted...
Provided by Runbook
-
White Papers
Test Automation - A Reality Check
Apr 2009
Test automation is often seen as a way to reduce the costs of testing, increase test coverage and effectiveness, and shorten testing cycles. In fact, many software organizations consider...
Provided by Aspire Systems
-
Case Studies
Orchid Technologies Engineering & Consulting Case Study: Medical Product Design - ECG Electronics
Jul 2008
A leading manufacturer of cardiology equipment approached Orchid to provide the electronic hardware, software and mechanical product design for a new line of hand-held twelve lead ECG machines....
Provided by Orchid Technologies Engineering & Consulting
-
White Papers
Plan for Success: Knowledge Worker Training and On-Boarding Are Easy With Process Automation
Aug 2009
No matter how large or small a company is, employee turnover is inevitable. Although smart employers work hard to retain good people, few give enough thought to ensuring effective on-boarding of...
Provided by Optical Image Technology
-
White Papers
AppLabs and the Test Maturity Model Integration (TMMi)
Jul 2009
The Test Maturity Model Integration (TMMi) Foundation is an organization dedicated to improving testing for everyone. The TMMi Foundation has been founded as a non-profit making body, by a number...
Provided by AppLabs
-
White Papers
Web Application Penetration Testing
Jul 2009
Owing to the ubiquity, ease of access, cost effectiveness and provision of service, the Web Application has emerged as a driving force of adoption. With the advent of web 2.0 and web 3.0...
Provided by AppLabs
-
White Papers
The Testing Approach to Stock Exchange Applications
May 2009
From the days of physical scrip to dematerialized stocks and from the days of simple equities to structured products, stock exchanges throughout the world have witnessed enormous change in their...
Provided by AppLabs
-
White Papers
Scenario Testing Approach for Trading Systems
May 2009
The new Market regulations have brought major alteration to the structure of the equities markets throughout Europe. As a result, there are many new private exchanges evolving to compete with the...
Provided by AppLabs
-
White Papers
"New Software Testing Quadrant" - A Tool to Help Choose the Right Testing Partner
Jul 2009
With globalization sweeping through the financial services industry at an unprecedented rate, companies in the finance sector are especially impacted due to deluge of legislative initiatives...
Provided by Thinksoft Global Services
-
White Papers
Why the Software Industry Is Building Appliance Solutions on Commercially Available Hardware
Jan 2008
Enterprise IT managers are under pressure to accomplish more each year with budgets that are being held to little or no growth. Thus, they must find new solutions that are more efficient and more...
Provided by IDG (International Data Group)
-
White Papers
Cisco's Vision on Convergence in Connected Real Estate
Mar 2009
Different vendors will move toward convergence at different speeds; native IP starts being seen on sensors, actuators, and controllers, but Web Service interfaces, with their undeniable...
Provided by Cisco Systems
-
White Papers
Utilizing SIMD Instructions on the INtime RTOS With the Intel IPP Library
Mar 2009
Applying DSPs (Digital Signal Processors) to real-time embedded systems can result in significant performance improvements, especially where complex mathematical algorithms are involved....
Provided by TenAsys
-
White Papers
Merits of Data Reuse Hints
Aug 2008
Traditionally, much of the I/O system architecture and design was done with assumption that I/O data rates and latencies are very large when compared to throughput and latencies observed inside a...
Provided by Intel
-
White Papers
Game Physics Performance on the Larrabee Architecture
Oct 2008
Game physics is at the heart of any modern game engine which employs the laws of physics to simulate life-like movement and interaction between objects, such as rigid and deformable bodies, cloth,...
Provided by Intel
-
White Papers
Intel: Solutions for Mission Systems
Jan 2009
In response to customers' needs for improved performance and increased energy efficiency, Intel engineers start with the basics and rethink design from the bottom up. They analyze usage patterns...
Provided by Intel
-
White Papers
Intel Extreme Memory Profile (Intel XMP) DDR3 Technology
Jan 2009
With the introduction of DDR3, PC garners and enthusiasts alike have been able to increase the performance of their PC beyond what DDR2 platforms could provide. The lowering of memory voltages and...
Provided by Intel
-
White Papers
Developing an Enterprise Cloud Computing Strategy
Jan 2009
Cloud computing is a significant trend with the potential to increase agility and lower costs. Today, however, security risks, immature technology, and other concerns prevent widespread enterprise...
Provided by Intel
-
White Papers
Introduction to Intel's 32nm Process Technology
Feb 2009
Intel introduces 32nm process technology with second generation high-k + metal gate transistors. This process technology builds upon the tremendously successful 45nm process technology that...
Provided by Intel
-
White Papers
The Total Economic Impact of the Altiris Total Management Suite Software
Dec 2007
In December 2007, Altiris commissioned Forrester Consulting to examine the total economic impact and potential Return On Investment (ROI) enterprises may realize by deploying Altiris Total...
Provided by Forrester Research
-
White Papers
Forensic Toolkit: Processing Performance Testing and System Configuration
Jul 2009
A great deal has been done to improve the performance of Forensic Toolkit (FTK). A combination of factors affects the performance of this solution, but ultimately, hardware is the key. This next...
Provided by AccessData
-
Webcasts
A Lifecycle Approach to Cost Effective Software Productivity and Quality for Government Agencies
Jan 2008
Application development manager is continuously under pressure to improve application quality, build more functionality, and accelerate delivery - while holding the line and - or often reduce -...
Provided by BMC Software
-
Whitepapers
Interactive Specification and Verification of Behavioral Adaptation Contracts
May 2012
Services can be accessed and used to fulfill basic requirements, or can be composed with other services in order to build bigger systems which aim at working out complex tasks. These services must...
Provided by Universidad de Malaga
-
Whitepapers
Using Feature Modelling and Automations to Select Among Cloud Solutions
May 2012
Cloud computing is a major trend in distributed computing environments. Resources are accessed on demand by customers and are delivered as services by cloud providers in a pay-per-use model....
Provided by University of Namur
-
Whitepapers
Semidefinite Characterisation of Invariant Measures for One-Dimensional Discrete Dynamical Systems
Feb 2012
Using recent results on measure theory and algebraic geometry, the authors show how semi-definite programming can be used to construct invariant measures of one-dimensional discrete dynamical...
Provided by CNRS
-
Whitepapers
Performance Analysis of SCOOP Programs
Jun 2012
To support developers in writing reliable and efficient concurrent programs, novel concurrent programming abstractions have been proposed in recent years. Programming with such abstractions...
Provided by ETH Zurich
-
Whitepapers
Can Asynchronous Exceptions Expire?
Jun 2012
A multitude of asynchronous exception mechanisms have been proposed. They specify where and when an asynchronous exception propagates. The authors highlight another aspect that has largely been...
Provided by ETH Zurich
-
Whitepapers
Between Service Science and Service-Oriented Software Systems
Apr 2008
Some IT companies, such as IBM, are pushing research and education in Service Science. This is due to the transition of their business models from producing hardware and software to providing...
Provided by University of New Brunswick
-
Whitepapers
Synchronization Level Specification and Matching of Software Components
Mar 2012
Generating distributed systems from independently developed and deployed components is a promising alternative for today's dynamic and interconnected world. If such components have to collaborate...
Provided by Indiana University
-
Whitepapers
On the Controlled Markov Chains Approach to Software Testing
Sep 2011
The Controlled Markov Chains (CMC) approach to software testing is a relatively new approach that is distinctly different from conventional ones. It follows the idea of software cybernetics that...
Provided by Beijing University Of Technology
-
Whitepapers
Significance of Different Software Metrics in Defect Prediction
Sep 2011
This paper presents an empirical analysis of significance of different process and product metrics in defect prediction models. 48 releases of 15 open-source and 38 releases of 7 proprietary...
Provided by Wroclaw University of Technology
-
Whitepapers
A Low Overhead Hardware Technique for Software Integrity and Confidentiality
Sep 2007
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tampering with buses,...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Pervasive Service Creation Using a Model Driven Petri Net Based Approach
Jun 2008
Service creation is a complex process that involves service analysis design, implementation and testing. Traditionally, the service is validated at the late stage of testing. This increases...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
EM Channel Estimation for Coded OFDM Transmissions Over Frequency-Selective Channel
Jul 2008
The authors derive Expectation-Maximization (EM) based iterative algorithms to estimate the impulse response of multipath channel with coded OFDM system. They compare two ways for choosing EM...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Partial Matching of Garment Panel Shapes With Dynamic Sketching Design
Apr 2010
Fashion industry and textile manufacturing in past decade, have been starting to reapply enhanced intelligent CAD process technologies. In this paper, the authors propose a partial panel matching...
Provided by Association for Computing Machinery
-
Whitepapers
A Proposal for Enhancing User-Developer Communication in Large IT Projects
Jun 2012
A review of the paper showed that the probability of system success, i.e., user acceptance, system quality and system usage, can be increased by user-developer communication. So far most research...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Approximating User Values to Preserve Privacy - A Proposal
Dec 2011
Users have different sets of personal values, such as benevolence, self-direction, and tradition. Among other factors, these personal values influence users' emotions, preferences, motivations,...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Enhanced Traceability in Model-Based CASE Tools Using Ontologies and Information Retrieval
Dec 2011
Model-based CASE tools provide mechanisms to capture and store heterogeneous artifacts produced during the software development process. These tools incorporate a meta-model describing artifact...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Supporting the Testing of Scientific Frameworks With Software Product Line Engineering: A Proposed Approach
May 2011
Testing scientific software involves dealing with special challenges like missing test oracle and different possible sources of a problem. When testing scientific frameworks, additionally a large...
Provided by Association for Computing Machinery
-
Whitepapers
Using Requirements Traceability Links At Runtime - A Position Paper
Nov 2011
During software development a large amount of varied information is created. It comprises the requirements specification and depending artifacts such as design, code or test cases, as well as...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Use of Personal Values in Requirements Engineering- A Research Preview
Apr 2010
The authors have presented the theory of personal values and their approach on how to support the RE process. They aim to achieve two results. First, they want to develop a theoretical description...
Provided by Heidelberg University
-
Whitepapers
User-Oriented Quality Assessment of IT-Supported Healthcare Processes - A Position Paper
Jan 2010
The user view of the quality of IT-supported health care processes is very important for a successful performance of these processes. Current approaches to process quality do not capture this...
Provided by Springer Science+Business Media
-
Whitepapers
Integration Test Order Strategies to Consider Test Focus and Simulation Effort
Feb 2010
The integration testing process aims at uncovering faults within dependencies between the components of a software system. Due to the lack of resources, it is usually not possible to test all...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Using Dependency Information to Select the Test Focus Within the Integration Testing Process
Feb 2010
Existing software systems consist of thousands of software components realizing countless requirements. To fulfill these requirements, components have to interact with or depend on each other. The...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Requirements Prioritization Based on Benefit and Cost Prediction: A Method Classification Framework
Feb 2009
In early phases of the software development process, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individual requirements....
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Requirements Prioritization Based on Benefit and Cost Prediction: An Agenda for Future Research
Feb 2009
In early phases of the software cycle, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individual requirements. This paper...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
MOQARE: Misuse-Oriented Quality Requirements Engineering
Apr 2008
This paper presents MOQARE (Misuse-Oriented Quality Requirements Engineering), a method to explore quality requirements. The aim of MOQARE is to support intuitive and systematic identification of...
Provided by Springer Science+Business Media
-
Whitepapers
Boundary Objects for Value-Based Requirements Engineering
Mar 2009
Value-based requirements engineering focuses on the alignment of requirements engineering decisions and business value decisions. There is much evidence on the importance of this alignment and...
Provided by Gesellschaft für Informatik e.V.
-
Whitepapers
QAGen: Generating Query-Aware Test Databases
Jun 2007
Today, a common methodology for testing a DataBase Management System (DBMS) is to generate a set of test databases and then execute queries on top of them. However, for DBMS testing, it would be a...
Provided by Association for Computing Machinery
-
Whitepapers
Reducing Verification Effort in Component-Based Software Engineering Through Built-In Testing
May 2007
Today component- and service-based technologies play a central role in many aspects of enterprise computing. However, although the technologies used to define, implement, and assemble components...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Open Source Requirements Engineering
Nov 2007
This paper describes an experience in requirements engineering for an open source E-Learning tool selection. The process meets the challenges of software selection such as the intertwining of...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Reversible Logic Synthesis Based on Decision Diagram Variable Ordering
Jan 2012
Reversible logic synthesis is important for the design of conventional logic systems such as adiabatic logic and also for quantum logic systems since all quantum logic gates are necessarily...
Provided by Old City Publishing
-
Whitepapers
EEBASS: Energy-Efficient Balanced Storage Scheme for Sensor Networks
Oct 2008
Data-centric storage is an effective and important technique in sensor networks, however, most data-centric storage schemes may not be energy efficient and load balanced due to non-uniform event...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Asymptotic Ergodic Capacity Region and Rate Optimization of a Multiple Access OFDM MIMO Channel With Separately-Correlated Rician Fading
Oct 2008
The ergodic capacity region of a multiple access separately-correlated Rician fading Multiple Input and Multiple Output (MIMO) wideband channel is investigated by using an asymptotic approach. The...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Simulated Annealing Based Placement Algorithms and Research Challenges: A Survey
Jun 2012
In this paper, the authors have done a comprehensive study of VLSI placement algorithms in the literature and classified them from different perspectives. After an extensive review, they have...
Provided by Journal of Global Research in Computer Science (JGRCS)
-
Whitepapers
Virtual Fabrication and Analog Performance of Sub-40nm Bulk MOSFET Using TCAD TOOL
Apr 2011
The Scaling of MOSFET device to sub40nm is very critical because of short channel effect. The SCE is mainly due to power supply since scaling of device is more rapid as compared to The scaling of...
Provided by Interscience Open Access Journals
-
Whitepapers
An Efficient Regression Testing by Computing Coverage Data for Software Evolution
Jul 2011
Software systems is evolve continuously during development and maintenance. After software is modified regression testing is applied to software to ensure that It behaves intended and...
Provided by Interscience Open Access Journals
-
Whitepapers
Developing a Code Readability Model to Improve Software Quality
Jul 2011
Software maintenance is one of the main phase in software evaluation. This paper presents the relation between software metrics and maintainability. It explains about the concept of Software code...
Provided by JNTU College of Engineering
-
Whitepapers
The Application of Case-Based Reasoning to Estimation of Software Development Effort
Feb 2012
Accurate project effort estimation is an important goal for the software engineering community. Till date most work has focused upon building algorithmic models of effort estimation for example...
Provided by Interscience Open Access Journals
-
Whitepapers
Fast and Texture-Structure Preservable Inpainting and Its Application for Creating Virtualized-Reality Indoor Models
Feb 2012
This paper discusses the new inpainting algorithm for handling the images in the virtualized-reality indoor models. The untextured regions in the indoor model are textured by this proposed...
Provided by Interscience Open Access Journals
-
Whitepapers
Software Performance Analysis With Parallel Programming Approaches
Jun 2012
The term Software Performance Engineering (SPE) is a systematic and quantitative approach for constructing software systems to meet the performance objectives such as response time, throughput,...
Provided by Interscience Open Access Journals
-
Whitepapers
Pattern Recognition Algorithms for Cluster Identification Problem
Jan 2012
There are large datasets in high dimensional database to solve the cluster identification problem and for identifying dense clusters in a noisy data. In this paper by using densely intra connected...
Provided by Interscience Open Access Journals
