Model based test generation for validation of parallel and...

Model checking of non-terminating software programs

Model curation for integrated circuit designs

Model driven development including aspect integration tool

Model driven portlet development method, system and program...

Model driven portlet development system and program product

Model for business workflow processes

Model-based composable code generation

Model-based management of computer systems and distributed...

Model-based software design and validation

Modeling a target system by interpolating

Modeling method for discrete event system using event flow...

Modeling standards validation tool for use in enterprise...

Modeling tool for electronic services and associated methods...

Modification method for modifying a source code

Modification of array access checking in AIX

Modification of computer applications at load time for...

Modified classfile registration with a dispatch unit that is...

Modular analysis and standardization system

Modular health care information management system utilizing...