< Systems, methods and apparatus for implementation of formal specifications derived from informal requirements
< Method and apparatus for providing and integrating high-performance message queues in a user interface environment
> Selecting between pass-through and emulation in a virtual machine environment
> Cooperative threading in a managed code execution environment
|