- Subscribe to this page:
- RSS
- Email Alert
software engineering
(7682 results)-
Whitepapers
Software Measurements and Metrics: Role in Effective Software Testing
Jan 2011
Measurement has always been fundamental to the progress to any engineering discipline and software testing is no exception. Software metrics have been used in making quantitative/qualitative...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
The Effect of Radome on Resonance Characteristics of Triangular Patch Antenna
Jan 2011
A simple and accurate CAD model based on cavity model analysis is proposed to predict the effect of superstrate or radome on resonant frequencies of an equilateral triangular patch antenna. The...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Object Oriented Design Heuristics
Jan 2011
Object-oriented design is a process of identifying relevant objects, factoring them into classes, organizing hierarchically, and establishing dynamic collaborations among the objects. It is a...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Blind Adaptive Equalization for Channel Noise Cancellation
Jan 2011
The applicability of the second-order Newton gradient descent method for blind equalization of complex signals based on the Constant Modulus algorithm is studied. The Constant Modulus loss...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Effective Test Case Generation Using Antirandom Software Testing
Nov 2010
Random Testing is a primary technique for the software testing. Anti-random Testing improves the fault-detection capability of Random Testing by employing the location information of previously...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Technical Impediments to Software Reuse
Nov 2010
A good software reuse process facilitates the increase of productivity, quality, reliability, and the decrease of costs and implementation time. One of major impediments to realizing software...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Object Oriented Intelligent Multi-Agent System Data Cleaning Architecture to Clean Email Data
Dec 2010
Agents are software programs that perform tasks on behalf of others and they can be used to mine data with their characteristics. Agents are task oriented with the ability to learn by themselves...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Towards Test Cases Generation From Software Specifications
Dec 2010
Verification and Validation of software systems often consumes up to 70% of the development resources. Testing is one of the most frequently used Verification and Validation techniques for...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
An Efficient Reduction Method for Test Cases
Dec 2010
Testing activity is performed to provide confidence that changes do not harm the existing behaviour of the software. Test suites tend to grow in size as software evolves, often making it too...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Implementation of 2-Phase Commit by Integrating the Database & the File System
Oct 2010
Transaction is a series of data manipulation statements that must either fully complete or fully fail, leaving the system in a consistent state, Transactions are the key to reliable software...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Node Voltage Improvement by Capacitor Placement in Distribution Network : A Soft Computing Approach
Oct 2010
This paper deals with a genetic algorithm based approach for determining the optimum placement location of capacitor in radial distribution system which is obtained after optimum reconfiguration....
Provided by International Journal of Engineering Science and Technology
-
Whitepapers
Ontology Based Semantic Knowledge Representation for Software Risk Management
Nov 2010
Domain specific knowledge representation is achieved through the use of ontologies. The ontology model of software risk management is an effective approach for the intercommunion between people...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Empirical Evaluation of Reputaion Based Trust in Semantic Web
Oct 2010
Though research on the Semantic Web has advanced at a balanced pace, its promise on trust is yet to be investigated as it is a fundamental component of belief for consuming services. This paper...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
TCSC Designed Optimal Power Flow Using Genetic Algorithm
Sep 2010
This paper presents the solution of Optimal Power Flow (OPF) with different objective functions i.e., fuel cost minimization and active power loss minimization using heuristic technique namely...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Simulation and Performance Analyasis of Adaptive Filter in Noise Cancellation
Sep 2010
Noise problems in the environment have gained attention due to the tremendous growth of technology that has led to noisy engines, heavy machinery, high speed wind buffeting and other noise...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Recent Methods for Optimization of Plastic Injection Molding Process - A Retrospective and Literature Review
Sep 2010
Injection molding has been a challenging process for many manufacturers and researchers to produce products meeting requirements at the lowest cost. Faced with global competition in injection...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Architecting Secure Web Services Using Model Driven Agile Modeling
Sep 2010
The importance of the software security has been profound, since most attacks to software systems are based on vulnerabilities caused by poorly designed and developed software. Design flaws...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
A Quality Indicator for Software Interoperability
Jul 2010
Measuring the quality of software in terms of easiness in applying changes to that software is becoming primary concern. Most successful approach to measure this quality is finding design...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Data Mining for Secure Software Engineering - Source Code Management Tool Case Study
Jan 2011
As Data Mining for Secure Software Engineering improves software productivity and quality, software engineers are increasingly applying data mining algorithms to various software engineering...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Semantic Investigation of Unstructured Datum on Event Mining Analysis
Jul 2010
The semantics about events is essential in real time decision analysis and support. In earlier stages different approaches have been developed to build models and logical algorithms that relied on...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Reverse Engineering: An Essence for Software Re-Engineering and Program Analysis
Jun 2010
The object oriented software developers now admit that thinking about object-oriented program understanding and comprehension to be relatively easier is not that easy. Programs are even more...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Statistical Analysis for Object Oriented Design Software Security Metrics
Jul 2010
In the last decade, empirical studies on object-oriented design metrics have shown some of them to be useful for predicting the fault-proneness of classes in object-oriented software systems. In...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Dynamic Reducts in Object Oriented Information System Using Rough Set Theory
Mar 2010
The authors introduce dynamic reducts in object oriented information system using rough set theory. To develop dynamic reducts in object oriented information system using rough set theory, they...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
ESPQ: A New Object Oriented Design Metric for Software Quality Measurement
Mar 2010
In this paper, the authors deliver, a unique new tracing approach for a metric that delivers the system quality based on coactions and cooperation between classes. The proposed metric determines...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
An Integrated and Comprehensive Approach to Software Quality
Feb 2010
Quality is the customers perception of the value of the suppliers work output. Quality represents the properties of products and/or services that are valued by the consumer. Quality is a momentary...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Impact of Software Metrics on Object-Oriented Software Development Life Cycle
Feb 2012
An attempt is made to implement software metrics with aid of GUI and several programs were developed to calculate the metrics, which can be used as a stand alone system. Further an emphasis is...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Studying the Feasibility and Importance of Software Testing: An Analysis
Mar 2011
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of testing the...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Optimization of Multiple Vehicle Routing Problems Using Approximation Algorithms
Mar 2011
This paper deals with generating of an optimized route for multiple Vehicle Routing Problems (mVRP). The authors used a methodology of clustering the given cities depending upon the number of...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Identification of Crosscutting Concerns: A Survey
Mar 2011
Modularization of concerns is important for software development. Object oriented programming paradigm provides an ease of modularization of basic concerns. There are some concerns whose...
Provided by International Journal of Engineering Science and Technology (IJEST)
-
Whitepapers
Identification of Cross Cutting Concerns and Refactoring of Object Oriented System Based on Aspect Mining
Jan 2012
The process of Aspect Mining and Refactoring tries to indentify the cross-cutting concerns in the existing software system and refactoring if for a good AOP. The aim of the paper is to analyze the...
Provided by International Journal of Emerging Technology and Advanced Engineering (IJETAE)
-
Whitepapers
TrafficModeler: A Graphical Tool for Programming Microscopic Traffic Simulators Through High-Level Abstractions
Mar 2009
In this paper, the authors present TrafficModeler, an open-source, graphical tool for the rapid high-level modeling and generation of vehicular traffic. TrafficModeler supports a variety of...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
A Genetic Algorithm Based Approach for Event Synchronization Analysis in Real-Time Embedded Systems
Apr 2009
In real-time embedded systems, due to race conditions, synchronization order between events may be different from one execution to another. This behavior is permissible as in concurrent systems,...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Energy Consumption Optimization in Real-Time Embedded Systems
Apr 2009
Minimizing energy consumption with guaranteeing real-time constraints in low-power embedded systems is gaining more importance as real-time applications become more widely used in embedded...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Analysis and Evaluation of the Scheduling Algorithms in Virtual Environment
Apr 2009
Virtual machine technologies currently receive great interest both in industry and research communities. And it is one of the most important technologies for the coming Cloud Computing. The...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Designing an Effective Constraint Solver in Coverage Directed Test Generation
Apr 2009
As the complexity of processors grows, the bottleneck of verification remains in generating suitable test programs that meet coverage metrics automatically. Coverage directed test generation is a...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
Apr 2009
In recent days, the complexity of software has increased significantly in embedded products in such a way that the verification of Embedded SoftWare (ESW) now plays an important role to ensure the...
Provided by Institute of Electrical & Electronic Engineers
-
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
-
White Papers
Vertical Paxos and Primary-Backup Replication
Aug 2009
This paper introduces a class of Paxos algorithms called Vertical Paxos, in which reconfiguration can occur in the middle of reaching agreement on an individual state-machine command. Vertical...
Provided by Microsoft
-
White Papers
Performance Under Pressure: The State of Enterprise Web Application Quality and Availability
Jul 2009
These days, there is tremendous pressure on organizations to develop, integrate and deploy enterprise Web applications at an almost breakneck pace. As a result, many go live and deliver...
Provided by Oracle
-
White Papers
Integrated Quality Approach - Building Quality Into The Product
Sep 2009
Dynamic business environments need mature testing processes & practices that can guarantee success rather than just cut costs. While testing has traditionally been regarded as a curative solution,...
Provided by Aspire Systems
-
Case Studies
Academic Competition Leads the Way to a New Electric Car
Jul 2009
The University of Ontario Institute of Technology (UOIT) is one of 17 North American Universities participating in EcoCAR: The NeXt Challenge, a three-year engineering competition established by...
Provided by Siemens
-
White Papers
End-to-End IT Visibility
Jun 2008
By deploying Profiler, an organization can recognize a rapid return on investment within the first few months. The bottom line is that Profiler reduces operational and infrastructure costs via...
Provided by Tek-Tools Software
-
Resource Center
Customers Share their experiences with IBM and Cloud Computing
Sep 2009
The IBM cloud computing infrastructure, architecture and information management are designed to help you sustain ongoing cost reduction while improving service levels over the long term.
Provided by IBM
-
White Papers
The Greening of SaaS
Sep 2009
Are your energy costs going up? Are unbudgeted software and hardware costs hurting your bottom line? Consider switching to Software as a Service (SaaS), and replace unexpected outlays with fixed,...
Provided by MessageLabs, now part of Symantec
-
White Papers
Strategic Mobile Deployments; Adopting a Mobile Enterprise Application Platform
Sep 2009
It wasn't so long ago that mobile devices were cool - objects of envy among those who were tied to their desktops. As cool as they were, as these devices began to appear in the workplace, they...
Provided by Sybase
-
Training
Simplified Cloud Computing
Sep 2009
Cloud computing has emerged as a powerful tool to address the explosive growth of Internet-connected devices by offering highly efficient acquisition and delivery of information technology and...
Provided by IBM
-
Downloads
Self-service Cloud Computing
Sep 2009
Cloud computing provides reliable, flexible and cost-effective access to all data, devices and services in a virtualized network environment. Representing a true paradigm shift in the way we view...
Provided by IBM
-
Whitepapers
Methodologies & Tools For Web Application Security Assessment
Sep 2009
Web application security assessments are a crucial phase in the development life-cycle of any web application. The process of assessing a web application should be handled using the same approach...
Provided by IBM
-
White Papers
Cloud Computing— Latest Buzzword or a Glimpse of the Future?
Sep 2009
Cloud computing frees up budgets hand-cuffed by IT expenses. Instead of purchasing software licenses and hardware for new employees and locations, businesses simply add accounts to expand...
Provided by Google
-
White Papers
Improving the Patient Experience: The Rise of Healthcare Consumerism
Mar 2009
The broad scope of participation directed by the 2009 Stimulus Act will cross many service areas and the Act's general information technology requirement for "meaningful use of Electronic Health...
Provided by Oracle
-
White Papers
Information Workplace Platforms: Oracle Vs. Microsoft
Jun 2008
There are business scenarios in which technology-selection decisions should be based on vendor platforms and there is other cases in which such decisions should focus on discrete applications....
Provided by Gilbane Group
-
Case Studies
County of San Joaquin Information Systems Division Modernizes and Integrates Law and Justice Systems
Jul 2009
The County of San Joaquin Information Systems Division is the central IT organization serving the County of San Joaquin, which is a midsize California county with a population of more than...
Provided by Oracle
-
Case Studies
KONE Elevates Business Efficiency With SAP ERP and IBM DB2
Feb 2009
KONE is one of the world's leading suppliers of elevators, escalators, and innovative solutions for modernization and maintenance. KONE made a strategic decision in 2003 to move its SAP...
Provided by IBM
-
Case Studies
Monolith Software Solutions Serves Up Powerful, SaaS-Based Business Intelligence for the Quick-Serve Restaurant Industry
Jan 2009
Monolith Software Services, headquartered in Charleston, S.C., provides software and services to the Quick Serve Restaurant (QSR) industry. To compete with BI industry giants - many of whom...
Provided by JasperSoft
-
White Papers
Data Center Power and Thermal Management Using Intel Data Center Manager Software Development Kit
Jul 2009
Power and cooling literally constitute a burning issue in data centers today. According to IDC1, while data center CapEx costs have moderated, OpEx costs are on the upswing, and a major component...
Provided by Intel
-
White Papers
Software Implementation Revolutionized
Jul 2009
As an ISV, the sales cycle is paramount. As part of the sales cycle, one often competes for key customer wins. Sure, winning deals may come down to price, but if one gets the chance to compete...
Provided by Novell
-
White Papers
The Market for Software Appliances: An Opportunity Poised for Growth
Jul 2009
In the midst of an uncertain economy, end users are increasingly looking for simplicity in their IT solutions. The goal of streamlining operations will lead customers to more cost-effective...
Provided by IDG (International Data Group)
-
Whitepapers
Accelerate to Zero: How IT Delivers Breakthrough Results for Business
Jan 2008
Every successful company today feels compelled to invest in technology innovations, if only to keep from falling behind. But few companies make the investment with certainty that they can get the...
Provided by Hewlett-Packard (HP)
-
Whitepapers
Developing an Effective Enterprise Output Policy
Nov 2007
This white paper has covered the key attributes of an effective output policy and the choices or alternatives organizations should consider when improving governance around print, copy and fax...
Provided by Hewlett-Packard (HP)
-
White Papers
Improving IDC Cooling and Air Conditioning Efficiency
Aug 2008
With the demand for Information Technology (IT) equipment increasing year by year and data centers with densely packed IT equipment experiencing dramatic jumps in power consumption, energy-saving...
Provided by Fujitsu
-
White Papers
Borland Agile Testing Survey Results 2009 - Update
Jul 2009
The driver for this paper was to understand in greater detail the needs of Quality Assurance (QA) organizations in Agile software delivery projects. Borland is managing its own Agile...
Provided by Borland
-
White Papers
Managing SQL Performance With BMC Software
Oct 2008
DB2 for z/OS is the premier IBM database management system for mainframe processing. DB2 performance is always a hot topic at conferences and user groups. Many software products have been written...
Provided by BMC Software
-
White Papers
Automating Problem Analysis and Resolution Across the Application Life Cycle: Enhancing the Efficiency of Offshore Software Development and Support
Jun 2008
This paper details the benefits of automating application problem determination and resolution throughout the application life cycle, from development to production. BMC's Application Problem...
Provided by Enterprise Management Associates
-
Whitepapers
Delivering Energy Proportionality With Non Energy-Proportional Systems - Optimizing the Ensemble
Nov 2008
With power having become a critical issue in the operation of data centers today, there has been an increased push towards the vision of "Energy-proportional computing", in which no power is used...
Provided by Hewlett-Packard (HP)
-
White Papers
Using the Triangle Inequality to Accelerate k-Means
Jan 2009
The k-means algorithm is by far the most widely used method for discovering clusters in data. The paper shows how to accelerate it dramatically, while still always computing exactly the same...
Provided by University of California
-
White Papers
An Study on Data Mining Methods for Short-Term Forecasting of the Extra Virgin Olive Oil Price in the Spanish Market
Jul 2008
This paper presents the adaptation of an evolutionary cooperative competitive RBFN learning algorithm, CO2RBFN, for short-term forecasting of extra virgin olive oil price. The olive oil time...
Provided by Universidad de Jaen
-
White Papers
Predicting Change Propagation in Software System With Data Mining Techniques
May 2008
Software maintenance is a very costly and time-consuming work during the software life cycle. The problems with software maintenance are even more pressing in the software system. Software...
Provided by National Cheng Kung University
-
White Papers
Quick Response Data Mining Model Using Genetic Algorithm
Aug 2008
This paper proposes an efficient data mining system for making quick response to users and providing a friendly interface. When data tuples have higher relationship, it could contain long frequent...
Provided by Shanghai University
-
Case Studies
SCLogic Helps Vanderbilt University Improve Package Tracking Accountability, Trim Costs and Decrease Paper Usage
Aug 2009
Founded in 1873, Vanderbilt University (VU) is a research university in Nashville, Tennessee. With more than 12,000 students and 22,000 staff (includes the VU Medical Center), VU is the second...
Provided by SCLogic
-
White Papers
Key Factors to Consider When Selecting an Enterprise Package Tracking System
Nov 2008
Off late cost-conscious managers must continually assess non-core facility support processes to identify areas that can achieve significant cost savings through automation. The receiving and...
Provided by SCLogic
-
Webcasts
IT Manager Webcast: How Microsoft IT Manages Vendor Development Projects (Level 300)
Jul 2009
When managing vendor development projects, lack of metrics, or the dependence on a single metric, can lead to surprises by the project's end. The attendee will learn about the tracking system that...
Provided by Microsoft
-
Webcasts
MSDN Webcast: geekSpeak: Inside the Microsoft Web Deployment Tool (Level 200)
Aug 2009
The presenter of this webcast introduces the Microsoft Web Deployment Tool and shows how the tool is used to easily move configuration information, content, Secure Sockets Layer (SSL)...
Provided by Microsoft
-
Webcasts
MSDN Webcast: Project Server Report Pack II - The Top Reports (Level 200)
Aug 2009
The Microsoft Office Enterprise Project Management (EPM) 2007 Report Pack provides rich reports for common information needs. The EPM 2007 Report Pack is a collection of 12 Microsoft SQL Server...
Provided by Microsoft
-
Case Studies
Leading Manufacturer of Consumer Products Shines on SAP Upgrade Tests
Apr 2009
In May of 2007, a global leading manufacturer and marketer of consumer products announced a corporate initiative with a goal of delivering double-digit annual percentage growth in economic profit...
Provided by Hewlett-Packard (HP)
-
Case Studies
Vaillant: Europe-Wide IT Harmonisation Increases Flexibility and Reduces Operating Costs
Jan 2009
Vaillant, the heating technology specialist, has expanded through acquisitions in Europe. Its IT subsidiary, VAICON was tasked to develop an integrated company-wide IT platform based on...
Provided by Hewlett-Packard (HP)
-
Case Studies
Efficiencies Enable Two Administrators to Manage 200,000 End Users Worldwide
May 2009
HP wanted to reduce the administrative costs to manage HP's client environment while simultaneously improving quality of service. HP automated management of the client environment, including...
Provided by Hewlett-Packard (HP)
-
Case Studies
HP Scanjet N9120 Document Flatbed Scanner Does It All
May 2009
Milissa McGuire, Town Clerk for the town of Timnath, Colorado, was pleasantly surprised when she began using the HP Scanjet N9120 Document Flatbed Scanner that captures documents for the town's...
Provided by Hewlett-Packard (HP)
-
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
-
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
