- Subscribe to this page:
- RSS
- Email Alert
programming languages
(5435 results)-
White Papers
Thoroughly Modern SAS: The SAS Code Analyzer Helps Bring Programs Up to Date
Apr 2010
How would one like to revive and reuse the older SAS jobs to make use of some newer capabilities? There are some easy ways to modernize the use of SAS without manually rewriting the existing SAS...
Provided by SAS Institute
-
White Papers
Modeling the Severity of Random Events With the SAS/ETS SEVERITY Procedure
Mar 2010
The new SEVERITY procedure fits probability distributions for the severity (magnitude) of random events. Important examples include events with negative impact (such as the distribution of losses...
Provided by SAS Institute
-
White Papers
Tabular Reporting Data Standard
Mar 2010
This paper demonstrates a reporting data standard to map a tabular output table to a single standardized data set. This process can significantly standardize program code, increase readability,...
Provided by SAS Institute
-
White Papers
Reverse-Engineer a Reference Curve: Capturing Tabular Data From Graphical Output
Mar 2010
Developing and marketing a new compound can not only involve demonstrating efficacy against placebo, but also against other compounds In an industry typified by active research programs and a...
Provided by SAS Institute
-
White Papers
Metadata Services (MDS) in Fusion Middleware 11g
Dec 2009
The term metadata is generally interpreted as "Data about data" or "Data about applications." In the enterprise application space, the definition has been expanded to encompass various kinds of...
Provided by Oracle
-
White Papers
SCA: Bringing Modern SOA Programming to Tuxedo
Mar 2010
Oracle Tuxedo is one of the original SOA platforms. Everything in Tuxedo is a service and invoked as a service. Tuxedo also provides industry leading performance, scalability, and reliability....
Provided by Oracle
-
White Papers
Parallel Programming With Oracle Developer Tools
May 2010
This white paper targets developers interested in learning about parallel programming. After introducing major concepts needed to get started writing parallel applications, it delves into two...
Provided by Oracle
-
White Papers
Improving Compiler-Runtime Separation With XIR
Mar 2010
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The interface between the...
Provided by Association for Computing Machinery
-
Webcasts
How to Streamline the Financial Close Process While Ensuring Financial Statement Quality
Jun 2010
Discover what Oracle Corporation is doing to help their customers streamline the end-to-end close process. Learn how to address the new XBRL filing requirements. And discover how to improve your...
Provided by Oracle
-
Case Studies
Case Study: The HTTP Denial of Service Protection Feature Fails Because of Faulty JavaScript
Feb 2010
This case study attempts to study the causes of failure of HTTP Denial of Service Protection (HDoSP) after the upgradation to NetScaler software released 8.1 from NetScaler appliance software. In...
Provided by Citrix Systems
-
Case Studies
Montana Banana Case Study: UW Palm Pilot
Jan 2010
This case study describes the utilities of UW Palm Pilot. With this device a remote user can easily feed all the information and important data into his palm top to be referred back to whenever...
Provided by Montana Banana
-
Case Studies
BPM Solution Provider Significantly Increases Developer Productivity With New Tools
May 2010
Headquartered in Milwaukee, US, RedPrairee is a private company that has been leading the SCE industry for over 34 years. They have high profile customers who work in the field of food, beverage,...
Provided by Microsoft
-
Case Studies
Mizuho Securities Slashes Regression Testing Workload With Visual Studio 2010
May 2010
Mizuho Securities Asia Limited is an arm of Mizuho Financial Group based in Hong Kong. Mizuho Securities' mission is to expand the Group's securities business to all of Asia. Earlier regression...
Provided by Microsoft
-
White Papers
picoChip PC102: Software Development Tools and Programming Model
Feb 2008
picoChip sells high-performance multi-core chips for wireless infrastructure applications. BDTI recently completed an evaluation of the picoChip tool chain using the PC102 chip, and this paper...
Provided by Berkeley Design Technology
-
White Papers
PowerBuilder to Java (PB2J) Thin Client J2EE Migration
Dec 2008
This paper describes MainTrend's solution for a successful PowerBuilder to Java Migration. MainTrend offers an automated conversion service that lifts PowerBuilder applications to Java/XML...
Provided by MainTrend
-
White Papers
Using Model-Based Testing for Testing Application Models in the Context of Domain-Specific Modelling
Oct 2009
With the advancement in Domain-Specific Modelling (DSM), the productivity and quality in software development has also enhanced. Inspite of these gains, there is still a need to test these modeled...
Provided by VTT
-
White Papers
Construct Your Own Favorite Programming Language
Jan 2009
As long as we have computers, we have to have programming languages. It started from FORTRAN in 1958 with which a whole genealogy of language designs can be constructed and one may wonder why...
Provided by Utrecht University
-
White Papers
Understanding Programming Language Semantics For The Sophisticated World
Feb 2009
Computers are used virtually everywhere, everyday in the world. In the last two decades scientists found that the computing world is complicated and is overwhelmed with data that requires more...
Provided by Southern Illinois University
-
White Papers
The L Programming Language or TCL for C Programmers
Jan 2010
L is a language with the unusual twist that it compiles to TCL byte codes and by doing so leverages the entire TCL runtime. L functions may call TCL process and vice versa. They may also coexist...
Provided by TCL Developer Xchange
-
White Papers
Considerations for Selecting a Programming Language to Teach Perspective Teachers
Jun 2009
Academic technology programs often struggle with the selection of a programming language for entry level programming courses. An entry level programming course can serve as a launching pad for...
Provided by Duke University (Fuqua-Global)
-
White Papers
Categorical Description of Dynamic Fuzzy Logic Programming Language
Jan 2009
A program has two aspects: syntax and semantics. Syntax is the program structure and the constitutive rules of the program. Semantics focuses on the explanation of syntax domain. the meaning of...
Provided by Soochow University
-
White Papers
Work in Progress - Using Graphical Programming Languages in the Introductory Programming Course
Jul 2009
First year engineering students are noted to have either a strong dislike for programming or an inability to write effective programs. This poses a problem, since many engineering departments...
Provided by Purdue University (Krannert)
-
White Papers
Comparing the Use of Tangible and Graphical Programming Languages for Informal Science Education
Apr 2009
Much of the work done in the field of tangible interaction has focused on creating tools for learning. However, in many cases, little evidence has been provided that tangible interfaces offer...
Provided by Tufts University
-
White Papers
Programming Language Elements for Correctness Proofs
May 2008
The study of formal methods to reason about program properties is becoming an important research area, as a considerable part of a software product's lifecycle is testing and bug-fixing. Formal...
Provided by University of Szeged
-
White Papers
A Programming Language for Composable DNA Circuits
May 2009
In recent times, a range of information-processing circuits have been implemented in DNA by using strand displacement as their main computational mechanism. Digital logic circuits and catalytic...
Provided by Microsoft
-
White Papers
Sound and Complete Type Inference for a Systems Programming Language
Jun 2010
Recent advances in the theory and practice of programming languages have resulted in modern languages and tools that provide certain correctness guarantees regarding the execution of programs....
Provided by Johns Hopkins University
-
White Papers
Problems of Learning Programming Language
Aug 2008
Students sometimes find it hard to learn new programming languages. They often confront unfamiliar programming terms and are required to visualize the processes that happen in the computer memory....
Provided by Universiti Kebangsaan Malaysia
-
White Papers
A Comparison of Context-Oriented Programming Languages
Jul 2009
The separation of cross-cutting concerns is an issue that is considered by several programming language paradigms, such as aspect-oriented programming , feature-oriented programming, and...
Provided by University of Potsdam
-
White Papers
CTPPL: A Continuous Time Probabilistic Programming Language
Jun 2009
Probabilistic programming languages are an exciting development in probabilistic knowledge representation. They allow a modeler to build probabilistic models using complex data structures with all...
Provided by Harvard University
-
White Papers
MyProLang - My Programming Language: A Template-Driven Automatic Natural Programming Language
Oct 2008
Are modern programming languages governed unlike natural languages? Are their complex syntactic rules governed? Yes, states the paper. And that it requires a lot of manual work, training and...
Provided by International Association of Engineers
-
White Papers
Extending Programming Languages to Deal With the Challenges of Service-Oriented Computing
Sep 2009
Object-oriented programming languages ignore challenges introduced by implemented service-oriented applications. They force the programmer to implement non-functional code in order to realize...
Provided by Katholieke Universiteit Leuven
-
White Papers
Automating Java Performance Tuning
Sep 2008
Tuning is designed to provide a range of benefits including a stable environment, less outage, and by and large improved performance. Automating the load generation and performance tuning process...
Provided by Oracle
-
White Papers
Architecture for Object-Oriented Programming Languages
Sep 2007
Object Oriented Programming (OOP) is a program paradigm that uses objects-data structures consisting of data files and methods together with their interactions to design applications and computer...
Provided by Vienna University of Technology
-
White Papers
A Linear Type System for Multicore Programming
Jun 2009
ATS is a recently developed functional programming language that supports both linear and dependent types. They formalize a type system capable of guaranteeing safe manipulation of resources on...
Provided by Boston University School of Management
-
White Papers
Programming Language Semantics Using Miranda
Aug 2009
This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages. It gives a concise description of various...
Provided by University of Kent
-
White Papers
A Semantics and Implementation of a Causal Logic Programming Language
Feb 2009
Highly sophisticated and high end computers demand new programming languages that make parallel programming considerably easier and less error prone. This paper describes semantics for a new class...
Provided by University of Waikato
-
White Papers
A Concurrent Programming Language Based on the Situation Calculus
Nov 2007
Concurrent Programming Language, as a substitute to planning, is an approach to high-level agent control based on concurrent program execution. A formal definition in the situation calculus of...
Provided by York University
-
White Papers
Using Programming Language Concepts to Teach General Thinking Skills
May 2008
The programming language field has developed in response to an unprecedented situation in human history - the need to communicate with entities (such as computers), if every aspect of the...
Provided by Massachusetts Institute of Technology
-
White Papers
Signal Processing in the Pure Programming Language
Feb 2009
The new functional programming language Pure is useful as a scripting language in signal processing applications. It has a Just In Time (JIT) compiler that makes execution reasonably fast and a...
Provided by Johannes Gutenberg University Mainz
-
White Papers
A Multi-Theory Logic Programming Language for the World Wide Web
Aug 2008
Despite the presence of World Wide Web (WWW) architectural formalization in terms of Representational State Transfer (REST) architectural style and Resource-Oriented Architecture (ROA), current...
Provided by University of Bologna
-
Whitepapers
A Distributed System for Parallel Simulations
Oct 2008
The authors presented the technologies and algorithms to build a web-based visualization and steering system to monitor the dynamics of remote parallel simulations executed on a Linux Cluster. The...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
A Model Driven Approach to Generate Service Creation Environments
Oct 2008
The creation of services is a complex activity that involves several tasks. Furthermore, this complexity is augmented by the fact that supporting service creation environments are...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Taming Wildcards in Java's Type System
Jun 2011
Wildcards have become an important part of Java's type system since their introduction 7 years ago. Yet there are still many open problems with Java's wildcards. For example, there are no known...
Provided by Association for Computing Machinery
-
Whitepapers
On the Impact of Injection Triggers for OS Robustness Evaluation
Aug 2007
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impact varying the...
Provided by Microsoft
-
Whitepapers
On Equivalence Partitioning of Code Paths Inside OS Kernel Components
Jan 2009
Commercial-Off-The-Shelf Operating Systems (COTS OSs) are increasingly chosen as key building blocks in embedded system design due to their rich feature-set available at low costs. Unfortunately,...
Provided by Technische Universitat Darmstadt
-
Whitepapers
Integration of Java EE Applications on C - Based Implementations
Jul 2012
Sometimes the people may encounter a scenario in which they need to Integrate the existing Java - Based applications With the Native formats of C/C++ Based implementations For example the...
Provided by International Institute for Science, Technology and Education
-
Whitepapers
Turbo Frequency Domain Equalization for Single Carrier Space-Time Block Coded Transmissions
Oct 2008
In this paper, the authors propose a linear Minimum Mean Square Error (MMSE)-based turbo Frequency Domain Equalization (FDE) scheme for single carrier Space-Time Block Coded (STBC) transmissions....
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
The Impact of Imperfect Channel State Information on QRD-Based Precoded MIMO-OFDM System
Oct 2008
A new closed-loop precoding method has been proposed for MIMO-OFDM systems with limited feedback by using the QR decomposition to the time-domain channel impulse response matrix. In contrast to...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Performance of BICM-OFDM Systems in Non-Gaussian Noise and Interference
Oct 2008
In this paper, the authors present a general mathematical framework for performance analysis of systems employing Bit - Interleaved Coded Modulation (BICM) and Orthogonal Frequency Division...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Repairing OLAP Queries in Databases With Referential Integrity Errors
Apr 2011
Many database applications and OLAP tools dynamically generate SQL queries involving join operators and aggregate functions and send these queries to a database server for execution. This...
Provided by Association for Computing Machinery
-
Whitepapers
A New Diagonally Layered Spatial Multiplexing Scheme With Partial Channel Knowledge
Oct 2008
Vertical layering with Successive Interference Cancellation (SIC) at the receiver (e.g., V-BLAST) is a popular spatial multiplexing scheme that achieves high data rates over multi-antenna wireless...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Enhanced Verification-Based Decoding for Packet-Based LDPC Codes Over Wireless Channels
Oct 2008
In this paper, the authors apply the Enhanced Verification-based decoding Algorithm (EVA) for packet-based LDPC codes over wireless channels. Compared with the Verification Algorithm (VA) in the...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
An Improvement on LDPC Coded Queued Codes
Oct 2008
The queued-code based on Low-Density Parity-Check (LDPC) codes, which exploit both the near Shannon-limit performance LDPC codes and the instantaneous Channel State Information (CSI), can provide...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
A Novel Distributed Space-Time Trellis Code for Asynchronous Cooperative Communications Under Frequency-Selective Channels
Oct 2008
In most cooperative communications works, perfect synchronization among relay nodes is assumed in order to achieve cooperative diversity. However, this assumption is not realistic due to the...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Distributed Double-Differential Orthogonal Space-Time Coding for Cooperative Networks
Oct 2008
In this paper, distributed double-differential coding is proposed to avoid the problem of carrier offsets in amplify and forward protocol based cooperative network with two relays. A...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Diversity Order Analysis of Bit-Interleaved Coded DPSK With Cyclic Delay Diversity
Oct 2008
Cyclic Delay Diversity (CDD) exploits the principle of the Orthogonal Frequency Division Multiplexing (OFDM) that transforms the delay spread into the frequency selectivity. In order to...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Viewpoints Diagram: Towards an Innovative Diagram in the UML Language
Aug 2012
This paper is to put forward a modeling of multi-view classes by making use of the Petri networks formalism. The object approach aims at modeling complex systems and allows to take into account...
Provided by International Journal of Computer Science and Network Security
-
Whitepapers
An SCCC Turbo Decoder for DVB-T
Jan 2012
The Digital Video Broadcasting - Terrestrial (DVBT) standard represents the dominant solution for the implementation of digital television in Europe. DVB-T requires error control protection in...
Provided by Cyber Journals
-
Whitepapers
Rateless Codes for MIMO Channels
Oct 2008
Two rateless code constructions are developed for efficient communication over Multi-Input Multi-Output (MIMO) Gaussian channels. The key ingredients in both architectures are layering, dithering,...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Quantizer Design for Codebook-Based Beamforming in Temporally-Correlated Channels
Oct 2008
Codebook-based transmit beamforming with receive combining is a simple and efficient strategy for Multiple-Input Multiple-Output (MIMO) wireless systems. However, as a closed-loop technique,...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Mutual Coupling Effects in MIMO MRC Systems With Limited Feedback
Oct 2008
The authors consider the impact of transmitter correlation, mutual coupling and matching networks on the design and performance of MIMO MRC systems with limited feedback. They present codebook...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Effective Pair Programming Practice-An Experimental Study
Apr 2012
Pair programming is a practice, where two programmers work on a single task. Long research has been carried out in industries, and efficient results were achieved. Research is also being done in...
Provided by Journal of Computing
-
Whitepapers
Analyses of Student Programming Errors in Java Programming Courses
May 2012
Computing students' difficulties in understanding Java programming provided a practical context for a critical investigation of why this continues to exist. An exploratory study was conducted by...
Provided by Journal of Computing
-
Whitepapers
Performance Analysis of Parallelizing Program Code for Multi-Core Architectures Using OPENMP
May 2012
Multi-core architectures have become more popular due to better performance, reduced heat dissipation, power consumption and more efficient simultaneous processing of multi tasks. If one wishes to...
Provided by Journal of Computing
-
Whitepapers
Mobile Solution for Three-Tier Biofeedback Data Acquisition and Processing
Oct 2008
Wireless sensor networks span from military applications into everyday life. Body sensor networks greatly benefit from wireless sensor networks to answer the biofeedback challenges in healthcare...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Blind Turbo Channel Estimation of QAM Signals Exploiting Code Constraints
Oct 2008
The authors present a blind turbo equalizer for QAM signals that exploits the statistics that a channel code imposes on the transmitted signal. The receiver is an adaptation of previous work...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
A Fast Least-Squares Solution-Seeker Algorithm for Vector-Perturbation
Oct 2008
Finding the least-squares solution to a system of linear equations where the unknown vector is comprised of integers, but the matrix coefficient and given vector are comprised of real or complex...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
MMSE Estimation of Distributely Coded Correlated Gaussian Sources Using Random Projections
Oct 2008
Recent developments in compressed sensing have shown that if a signal has a low Kolmogorov complexity, then it can be reconstructed from a certain number of random projections. The authors study...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Impact of Signaling Schemes on Iterative Linear Minimum-Mean-Square-Error Detection
Oct 2008
In this paper, the authors study the iterative detection problem for a coded system with multi-ary modulation. They show that, with iterative Linear Minimum-Mean-Square-Error (LMMSE) detection,...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
DSL Crosstalk Coefficient Acquisition Using SNR Feedback
Oct 2008
Rapid acquisition of accurate crosstalk estimates is a core requirement for effective precoding in Digital Subscriber Line (DSL) systems. It is shown that Signal-to-Noise Ratio (SNR) reports...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Sufficient-Statistics Based Multiple Access Over Wireless Fading Channels
Oct 2008
In this paper, the authors study a communication scheme in which nodes transmit sufficient statistics of their observations over non-orthogonal medium access channels for distributed estimation....
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Performance and Design of an Impulse Noise Detector for OFDM Systems With Reed-Solomon Erasure-Decoding
Oct 2008
The authors develop an analytical framework to evaluate the probability-of-miss and probability-of-false-alarm performance of an Impulse Noise (IN) detection algorithm for Orthogonal...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
An Improved Tomlinson-Harashima Precoder Reducing Transmission Power
Oct 2008
Tomlinson-Harashima Precoder (THP) is an efficient interference pre-canceler, however, the transmission power is increased over the symbol power due to the modulo operation. In this paper, the...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
Soft-Decision Decoding of Reed-Solomon Codes Using Successive Error-and-Ersure Decoding
Oct 2008
The authors propose a soft-decision decoding algorithm of Reed-Solomon (RS) codes using successive error-and-erasure decoding. Extensive simulations are conducted to show the possible performance...
Provided by Institute of Electrical & Electronic Engineers
-
Webcasts
Generalized Alias Analysis on a Basis for Programming Tools
Jul 2008
Tools for automatic program analysis promise to improve programmer productivity by searching and summarizing large bodies of code. However, the phenomenon of aliasing - different names being used...
Provided by Institute of Electrical & Electronic Engineers
-
Whitepapers
IBM THINK
Aug 2012
An exploration into making the world work better (espace between better and IBM) IBM THINK is a phenomenon; a creative exploration of how progress happens. Originally presented as a total...
Provided by IBM
-
Whitepapers
Where Is the Debugger for My Software-Defined Network?
Aug 2012
The behavior of a Software-Defined Network is controlled by programs, which like all software, will have bugs - but this programmatic control also enables new ways to debug networks. This paper...
Provided by Association for Computing Machinery
-
Whitepapers
Error Probability of RS Code Over Wireless Channel
Nov 2011
Reed-Solomon codes are an important class of error correcting codes used in many applications related to communications and digital storage. The fundamental operations in Reed-Solomon encoding and...
Provided by Serials Publiations
-
Whitepapers
Supporting Java Components in the SID Simulation System
Mar 2012
Embedded products are becoming richer in features. Simulation tools facilitate low-costs and the efficient development of embedded systems. SID is an open source simulation software that includes...
Provided by KIPS
-
Whitepapers
Expressive Exceptions for Safe Pervasive Spaces
Jun 2012
Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approaches to defining, detecting, and handling complex exceptions. This is because the possible erroneous...
Provided by KIPS
-
White Papers
A Model-Driven Approach for Runtime Assurance of Software Architecture Model
May 2010
Unified Modeling Language (UML) has been widely accepted for object-oriented system modeling and design, and has also been adapted for software architecture descriptions in recent years. Although,...
Provided by Alabama A&M University
-
White Papers
A Novel Approach for Optimized Test Case Generation Using Activity and Collaboration Diagram
Aug 2010
Testing is the process of building confidence of the programmer that shows, the software does what it is intended to do, which in turn improves the reliability of the software. And automation of...
Provided by National Institute of Technology, Rourkela (NIT)
-
White Papers
Abstract and Concrete Syntax Migration of Instance Models
Jul 2010
This paper presents a solution for the TTC 2010 model migration case study. Firstly, the paper presents a modular approach to migrate the instance models' abstract syntax. Secondly, the problem of...
Provided by Vienna University of Technology
-
White Papers
Model Migration Transformation Specification in UML-RSDS
Jun 2010
Model transformations have become a key element of model-driven software development, being used to transform platform-independent models to platform-specific models, to improve model quality, to...
Provided by King's College London
-
White Papers
Data-Flow Based Model Analysis
Apr 2010
The concept of (meta) modeling combines an intuitive way of formalizing the structure of an application domain with a high expressiveness that makes it suitable for a wide variety of use cases and...
Provided by University of Augsburg
-
White Papers
Applying Constraints in Model Driven Knowledge Representation Framework
Jul 2010
In this short paper the author presents OCL knowledge representation for interface constraints using a framework known as MDKR. The semantics of OCL are visualised and represented in the form of...
Provided by Babu Banarasi Das Group of Educational Institutes
-
White Papers
Exploring the Relationship Between UML Design Metrics for Web Applications and Maintainability
Jun 2009
The size and complexity of web applications is increasing at an extremely rapid rate. Many web applications have evolved from simple HTML pages to complex service-oriented applications that have...
Provided by Journal of Object Technology (JOT)
-
White Papers
Verification of Real-Time Systems Design
Apr 2009
The main objective of this paper is to present an approach to accomplish verification in the early design phases of a system, which allows one to make the system verification easier, specifically...
Provided by John Wiley & Sons
-
White Papers
A Co-Design Approach for Embedded System Modeling and Code Generation With UML and MARTE
Mar 2010
This paper proposes a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. The paper has defined a set of rules to build UML models for embedded systems,...
Provided by Economic Development Association of Alabama
-
White Papers
A Unified Toolset for Business Process Model Formalization
May 2010
This paper presents a toolset to automate the transformation of Business Process Modeling Notation (BPMN), UML Sequence Diagrams, and Business Process Execution Language (BPEL), into their...
Provided by Reed Elsevier
-
White Papers
Educational Approach of Refactoring in Facilitating Reverse Engineering
May 2010
Refactoring improves software codes and design. This activity often neglected by software developers because they need time to decide tactically where and when to refactor codes. Although the...
Provided by Universiti Utara Malaysia
-
White Papers
Enterprise Modeling: Process and REA Value Chain Perspective
Aug 2010
The paper focuses on enterprise business value chain modeling as an alternative to business process modeling. Well known REA methodology proposed by McCarthy and Geerts is used as the basic...
Provided by University of Ostrava
-
White Papers
Modeling and Formally Checking Workflow Properties Using UML and OCL
Mar 2010
In this paper a new metamodel for workflows is described by using UML. The underlying UML class diagram is formally extended with OCL pre- and postconditions for operations and OCL invariants for...
Provided by University of Bremen
-
White Papers
A Model-Driven Approach for Composing SAWSDL Semantic Web Services
Mar 2010
Composing Web services is a convenient means of dealing with complex requests. However, the number of Web services on the Internet is increasing. This explains the growing interest in composing...
Provided by University Mohammed V-Agdal
-
White Papers
A MDA Approach for Defining WS-Policy Semantic Non-Functional Properties
Jun 2010
A lot of works has been especially interested to the functional aspect of Web services. Nevertheless, it is necessary to describe their non-functional properties such as the security...
Provided by University Mohammed V-Agdal
-
White Papers
Checking Full Satisfiability of Conceptual Models
Mar 2010
UML Class Diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expressed by UCDs...
Provided by Free University of Bolzano
-
White Papers
Using MARTE in Code-Centric Real-Time Projects Providing Evolution Support
Nov 2009
The MARTE UML profile targets specification and analysis of real-time systems. It has been used both, in Model Driven Development (MDD) approaches incorporating code-generation and in approaches...
Provided by Siemens
-
White Papers
Designing and Developing Accessible Java Swing Applications
Apr 2010
Information and Communication Technology (ICT) applications and systems are not fully accessible today. This is because accessibility does not happen on its own. Many developers and designers are...
Provided by University of Patras
-
White Papers
Concurrent Approach to Flynn's MPSD Classification Through Java
Jan 2010
Parallel programming models exist as an abstraction of hardware and memory architectures. There are several parallel programming models in commonly use; they are shared memory model, thread model,...
Provided by Mekelle University
-
White Papers
Automatic Source Code Transformations for Strengthening Practical Security of Smart Card Applications
Apr 2010
The availability of programmable cryptographic smart cards provides possibility to run application in significantly more secured environment then ordinary personal computer. Smart card platforms...
Provided by Masaryk University
-
White Papers
Migration of a JAVA Enterprise Trading Platform to Open Source
May 2010
Xitee was participating on the development of an enterprise trading platform which enables retail clients to trade CFDs. Later on, when the platform was already in production run, it was decided...
Provided by xitee
-
White Papers
Component Types and Communication Channels Recovery From Java Source Code
Feb 2010
Software architecture erosion is a general problem in legacy software. Because they don't know or don't understand the original architectural intent, maintainers introduce changes that violate the...
Provided by Babes-Bolyai University
-
White Papers
An Approximation Simulator for Designing and Developing Accessible Java Swing Applications
Jul 2010
Failure to determine the requirements for accessibility support in Rich Internet Applications (RIA), and to verify that such support meets the needs of people with disabilities will result in the...
Provided by University of Patras
-
White Papers
Distributed Java Programs Initial Mapping Based on Extremal Optimization
Jun 2010
The motivation for the research reported in the paper is optimized execution of distributed Java programs in clusters of Java Virtual Machines (JVM) implemented on workstations and desktop Grids....
Provided by Laboratoire d'Informatique Fondamentale de Lille (LIFL)
-
White Papers
An Assessment of Design Patterns' Influence on a Java-Based E-Commerce Application
Mar 2010
Design patterns, acting as recurring solutions to common problems, offer significant benefits such as avoiding unnecessary complexity, and promoting code reuse, maintainability and extensibility....
Provided by Universidad de Talca
-
White Papers
Monitoring Explicit Information Flow Using Java Byte-Code Instrumentation
Feb 2010
Computer systems are verified to check the correctness or validated to check the performance of the software system with respect to specific security properties such as Integrity, Availability and...
Provided by De Montfort University
-
White Papers
Running Scala in the Browser: Cross-Compiling Scala to JavaScript
Jan 2010
This paper presents a cross compiler for Scala to JavaScript which enables one to execute code written in Scala directly in a web browser. Event handling and DOM access according the w3c...
Provided by EnBW-Energie Baden
-
White Papers
Code Generation for Embedded Java With Ptolemy
Jul 2010
Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worst-case execution time (WCET). This paper evaluates...
Provided by University of California
-
White Papers
Mapping Knowledge Model Onto Java Codes
Mar 2010
This paper gives an overview of the mapping mechanism of SEAM-a methodology for the automatic generation of knowledge models and its mapping onto Java codes. It discusses the rules that will be...
Provided by University of Mauritius
-
White Papers
Driving the Refactoring of Java Enterprise Applications by Evaluating the Distance Between Application Elements
Sep 2009
Java Enterprise Applications (JEAs) are complex systems composed using various technologies that in turn rely on languages other than Java, such as XML or SQL. Given the complexity of these...
Provided by University of Berne
-
White Papers
Integration of Java Federations in HLA Compliant Simulations Governed by CERTI
May 2010
High Level Architecture constitutes a modern approach to distributed simulation of complex systems. This paper discusses extending CERTI, an open-source Run-Time Infrastructure, with binding to...
Provided by Masaryk University
-
White Papers
A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
Jul 2010
Multithreaded programs can have subtle errors that result from undesired interleavings of concurrent threads. A common technique to prevent these errors is to ensure that certain blocks of code...
Provided by Regents of the University of Michigan
-
White Papers
Test-First Java Concurrency for the Classroom
Mar 2010
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of Graphical User Interfaces (GUIs). To prepare students for the...
Provided by Association for Computing Machinery
-
White Papers
Dynamic Frames in Java Dynamic Logic
Jun 2010
This paper presents a realisation of the concept of dynamic frames in a dynamic logic for verifying Java programs. This is achieved by treating sets of heap locations as first class citizens in...
Provided by University of Karlsruhe
-
White Papers
Towards Automation of LTL Verification for Java Pathfinder
Dec 2008
Model checking is a powerful and promising technique for software verification. How-ever current model checker is not efficient enough to be used broadly in practice. One of the problem is the...
Provided by National University of Singapore
-
White Papers
Network Coding in Passive Optical Networks
Jun 2010
One of the most promising technologies for high-speed access to the Internet are Passive Optical Networks as they provide high data rates at low cost. The paper integrates network coding into the...
Provided by University of Paderborn
-
White Papers
Coded-Orthogonal Frequency Division Multiplexing in Hybrid Optical Networks
Mar 2009
Future Internet should be able to support a wide range of services containing large amount of multimedia over different network types at a high speed. The future optical networks will therefore be...
Provided by Institution of Engineering and Technology
-
Case Studies
Telecommunications Provider Offers Instant Messaging and Limitless Mailboxes
Aug 2010
Euskaltel, the leading telecommunications service provider in the Basque Country of Spain, wanted to offer its residential consumers improved communication and information sharing. Its existing...
Provided by Microsoft
-
Case Studies
Traditional Cork Bulletin Boards Go Electronic, Providing Simpler Web Sites
Sep 2010
CyberSavvy, a developer of custom Software-as-a-Service (SaaS) solutions wanted to invent an electronic version of the ubiquitous cork bulletin boards that are found in post offices, grocery...
Provided by Microsoft
-
Whitepapers
A Model Driven Approach to Generate Service Creation Environments
Oct 2008
The creation of services is a complex activity that involves several tasks. Furthermore, this complexity is augmented by the fact that supporting service creation environments are...
Provided by Institute of Electrical & Electronic Engineers
