Previous
Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems
White Papers This paper provides two contributions to R&D on Model-Driven Development (MDD) techniques that help codify the impact of middleware configurations on end-to-end Distributed Real-time and Embedded (DRE) system Quality of Service (QoS).
[January 3, 2009, 0:00]
Stable Egress Route Selection for Interdomain Traffic Engineering: Model and Analysis
White Papers This paper presents a general model of interdomain route selection to study interdomain traffic engineering. In this model, the routing of multiple destinations can be coordinated. Thus the model can capture general traffic engineering behaviors...
[December 13, 2006, 0:00]
Model-Driven Software Development With SuperCollider and the UML
White Papers However, the language has grown to a serious object-oriented programming language by now, and hence allows applying visual modeling techniques for model-driven development of object-oriented software systems.
[November 29, 2008, 23:00]
Model Checking Large Network Protocol Implementations
White Papers This paper focuses on how to effectively find errors in large network protocol implementations using model checking, a formal verification technique. The authors have implemented these techniques in CMC, a C model checker and applied the result to...
[April 18, 2007, 1:00]
Model Checking Concurrent Linux Device Drivers
White Papers s predicate abstraction-based tool DDVerify enables the automated verification of Linux device drivers and provides an accurate model of the relevant parts of the kernel. The SLAM toolkit demonstrates that predicate abstraction enables automated...
[February 2, 2009, 0:00]
Model-Based Resource Prediction for Multi-Hop Wireless Networks
White Papers This paper describes a Model-Based Resource Prediction (MBRP) mechanism to support real time communication in multi-hop wireless networks. Specifically, it develops an analytical model for differentiated MAC scheduling protocols.
[August 13, 2007, 8:09]
The Biomedical Research Integrated Domain Group (BRIDG) Model
White Papers The Biomedical Research Integrated Domain Group (BRIDG) model is a means of bridging various standards, different organizations and the domain of clinical research with that of healthcare. It is a domain analysis model of protocol-driven research.
[April 28, 2007, 1:00]
Model
Downloads Users can indefinitely "Model" their sounds and sequences with unlimited random modulation tweaks, powerful filtering and weird ring modulations. Model Features : Stereo to Stereo processing 1ms to 1000ms delay time.types of modulators.
[April 6, 2006, 8:00]
Model Checking Networked Programs in the Presence of Transmission Failures
White Papers Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential...
[June 27, 2007, 1:00]
Model-driven development - Embedded v/s Enterprise software
Blog Comment May this article is of interest to you: 10 Misperceptions and challenges of Model Driven Development it lists some challenges from an MDD enterprise software perspective. Hi Winston, Nice post! I enjoyed reading it.
[May 29, 2009, 15:47]
Model Checking an Entire Linux Distribution for Security Violations
White Papers Software model checking has become a popular tool for verifying programs' behavior. However, even state-of-the-art model checkers are limited in use when they report an overwhelming number of false positives, or when their lengthy running time...
[April 1, 2007, 1:00]
Model Driven Development With UML 2.0 and Beyond
White Papers I-Logix has taken a big step in creating the next generation Model-Driven Development (MDD) environment to allow Systems and Software engineers to effectively work and communicate in one cohesive environment, with the latest version of Rhapsody...
[February 11, 2005, 23:00]
Model-driven development - Embedded v/s Enterprise software
Blog MDD needs a highly Structured approach to Requirements Gathering that can then be easily traced (in an automated fashion) to every single Model & Code artifact. As soon as you drop say a class object onto a model area, the tool near...
[May 26, 2009, 15:01]
Conveying Mood and Emotion in Instant Messaging by Using a Two-Dimensional Model for Affective States
White Papers This functionality is based on: the use of a graphical, two-dimensional base model developed by psychology researchers; refinements of the base model to allow for increased precision in the expression of affective states while exchanging messages...
[November 2, 2008, 23:00]
Service Orientation and Model Driven Architecture: Towards a Unified Modeling Architecture
White Papers Addressing the key question - "Service Oriented Architecture (SOA) and Model Driven Architecture (MDA), hand-in-glove or square peg, round hole? this whitepaper discusses the key characteristics of the two modeling architectures, focusing on the...
[April 28, 2006, 1:00]
Applying the IT Service CMM Model in a University Service Delivery Environment
White Papers The IT Service - Capability Maturity Model (ITS-CMM) is a standard methodology for assessing the capabilities of information technology service organizations. This paper will discuss the experience in applying the ITS-CMM to an IT service delivery...
[March 17, 2006, 0:01]
A Bandwidth Allocation Model With High Concurrence Rate in IEEE 802.16 Mesh Mode
White Papers In this paper, a bandwidth allocation model is proposed for multi-hop Wireless Mesh Network (WMN) with a goal of achieving high traffic throughput in minimal scheduling time slots. Scheduling scheme based on the optimization model serves the...
[November 22, 2005, 23:00]
Advantages of XML as a Data Model for a CRIS
White Papers This paper presents advantages of using a hierarchical, XML-based data model as the basis for a CRIS, as opposed to the relational model, which is currently recommended by EuroCRIS. The main benefits lie in the relatively easy way to model data...
[November 2, 2008, 23:00]
Nuggets: Giant model seeks eyeballs...
News Panasonic's latest monitor is a giant 21-inch flat screen, high contrast tube model, the PanaSync S110. Oh yeah, it's big alright. Aimed at designers and other creative-minded folk who need a lot of room for their creations to grow, it has a top...
[July 28, 1999, 14:48]
Defense Manufacturer Supports New Project-Based Business Model With SAP Software
White Papers With its business model shifting from a production focus to project management - based operations, the company's existing IT infrastructure needed improvement. Setting tough goals and then making them happen is a corporate way of life at Aselsan...
[February 20, 2008, 0:02]
