Previous
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 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-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]
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 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 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-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]
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-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]
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 Pose
Downloads Being a photographer or a model, you maybe can't remember so many model's professional poses. By using Model Pose, you can discover 230 classical professional poses including standing, sitting, knelling and reclining categories.
[February 11, 2009, 11:14]
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]
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 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]
Sun to match Red Hat pricing model
News In an effort to make its version of Unix compare more favourably to Red Hat's Linux, Sun Microsystems plans in coming weeks to begin selling its Solaris operating system through a subscription model. Under the plan, a company will pay for Solaris...
[April 1, 2004, 8:50]
A Unified Project Management Process Model
White Papers This white paper discusses potential components of such a model, and presents one developed for Promendo - the Project Management Knowledgebase. As the Project Management discipline matures and is taken out of the dark ages of heroic project...
[March 10, 2006, 0:01]
The Role of Architectural Decisions in Model-Driven SOA Construction
White Papers The catalog is positioned in a three-stage model transformation chain for SOA. On Service-Oriented Architecture (SOA) delivery projects, practitioners concern themselves with the characteristics of good services and how such services can be designed.
[March 10, 2007, 0:00]
A Community Based Mobility Model for Ad Hoc Network Research
White Papers This paper proposes a new mobility model founded on social network theory. The model allows collections of hosts to be grouped together in a way that is based on social relationships among the individuals.
[April 3, 2009, 1:22]
Response Time Analysis of a Multi-Server Processor Sharing Model
White Papers This paper investigates the response time of a multi-server Processor Sharing (PS) model. A multi-server PS model is a PS queue but the number of requests which can be processed simultaneously is limited by a threshold.
[November 25, 2008, 23:00]
A Software Reliability Model for Web Services
White Papers This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. The model first evaluates the reliability of atomic services based on group testing and majority voting.
[November 25, 2008, 23:00]
