Previous
Identity Management: On The "Identity = Data + Policies" Model
White Papers The current digital identity model, based on the "identity = data" paradigm, starts showing its limitations when addressing people's expectations about their identities (in terms of preferences, privacy, trust, etc.and providing them with degrees...
[April 21, 2006, 0: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, 0:00]
Model Driven Development Of Service-Oriented Grid Applications
White Papers The Model Driven Architecture (MDA) approach to software development promises to reduce costs and increase reliability and flexibility of such complex distributed systems. To enable a better separation of development concerns, the paper proposes a...
[March 20, 2007, 23:00]
Model Checking Real Time Java Using JAVA PATHFINDER
White Papers The Robust Software Systems group at NASA Ames Research Center has Java PathFinder (JPF) under development, a Java model checker. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees...
[June 27, 2007, 0:00]
Model Checking In IPv6 Hardware Router Design
White Papers This paper contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking tools is given.
[October 31, 2004, 0:00]
Compuware's OptimalJ: Model-Driven, Pattern-Based Development For Large-Scale Productivity
White Papers This solution leverages OMG's Model-Driven Architecture (MDA) to allow rapid design of more flexible solutions. Compuware's OptimalJ solution focuses on the "development and integration" stage of Compuware's "application lifecycle" approach.
[March 2, 2005, 23:00]
The United States Response To Terrorism - Is It Time To Employ The "Drug Czar" Model?
White Papers This paper examines one model for unifying them under an executive branch, White House director's office. Some experts have looked to the "drug czar" model in seeking to reform government structures to fight terrorism.
[February 23, 2005, 23:00]
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, 0:00]
Preparing For The Legal Aspects Of BioTerrorism: Model Emergency Public Health Legislation
White Papers The Centers for Disease Control (CDC), in collaboration with governors, legislators, attorneys general and health commissioners released a Model Emergency Health Powers Act to provide strong powers to respond to bioterrorism or other major health...
[January 21, 2005, 23:00]
Model-Driven Development With The Unified Modeling Language And Keil 8, 16, 32 Bit Compilers
White Papers Rhapsody's Model-Driven Development (MDD) and UML capabilities combined with Keil provide you with the tools to quickly develop, test, debug and document your applications while boosting your productivity to meet these challenges.
[February 11, 2005, 23:00]
Model-Driven Development For The C Developer
White Papers Today, Model Driven Development and UML offer a similar opportunity to boost productivity, particularly in areas where applications have grown in complexity and market windows have shrunk. This web based seminar (webinar) is designed to introduce...
[February 11, 2005, 23:00]
Model Driven Architecture
White Papers UML, the Unified Modeling Language, allows a model to be constructed, viewed, developed, and manipulated in a standard way at analysis and design time. In addition, the Common Warehouse Meta-model (CWM) standardizes how to represent database models...
[February 8, 2004, 23:00]
Model-Driven Development With The Unified Modeling Language And Cosmic 8 And 16 Bit Compilers
White Papers Rhapsody is the industry's leading UML 2.0 based Model-Driven Development environment for systems and software engineering, and uniquely extends UML 2.0 to allow C developers, who are used to working with files and functions, to feel comfortable...
[February 11, 2005, 23: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, 0:00]
Model Mapping In MDA
White Papers This paper proposes a general model of Model Mapping, one of the key features in MDA. The fundamental relationships between system, model, and formalism are recalled in this paper. This application takes an UML model m, and translates it by an...
[February 21, 2005, 23:00]
Model-Based Testing Of Object-Oriented Reactive Systems With Spec Explorer
White Papers Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003.
[June 9, 2007, 0:00]
Model-Driven Development And UML 2.0
White Papers Not surprisingly, the Unified Modeling Language (UML) is intended as the language to be used for model-driven development. The language was first standardized in 1997 as the end of the methods wars, and it quickly grew to become the most popular...
[February 9, 2005, 23:00]
Model-Driven Information Integration
White Papers This paper describes model-driven information integration, a methodology that enables enterprises to model existing information using Object Management Group (OMG) standard constructions. Many, if not most, enterprises have a wealth of information...
[July 19, 2003, 0:00]
Model And Build ESB SOA Frameworks: Adapt Service-Oriented Architectures For Easy Application Integration
White Papers In this paper one gains insight on ESBs, and how to model and construct ESB service-oriented architecture frameworks. Application integration is the biggest challenge today for many enterprises. Building an Enterprise Service Bus (ESB) is probably...
[May 10, 2008, 0:00]
Model Checking Groupware Protocols
White Papers Model checking allows for the automatic analysis of correctness and liveness properties in an exhaustive and time-efficient way, generating counterexamples in case certain properties are found not to be satisfied.
[December 7, 2005, 23:00]
