Search Results for "windows 1.0 emulator"
Sort By:
Showing 32 open source projects for "windows 1.0 emulator"
View related business solutions-
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
2
PyText
A natural language modeling framework based on PyTorch
... them at scale. Distributed-training support built on the new C10d backend in PyTorch 1.0. Mixed precision training support through APEX (trains faster with less GPU memory on NVIDIA Tensor Cores). Extensible components that allows easy creation of new models and tasks. -
3
The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.
-
4
QPNet
Synchronous Petri Nets' emulator
QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
We design our technology to make workforce management easier. APS offers core HR, payroll, benefits administration, attendance, recruiting, employee onboarding, and more.
-
5
OSLO stands for Open Source Library for OCL. It's base on the Kent OCL Library from the University of Kent.
-
6
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
7
PLiX (Programming Language in XML) is an XML-based code-generation framework. Generators produce XML matching the PLiX.xsd schema, which can be formatted into multiple languages. Extensible formatters support C# and VB.NET in Visual Studio 2005 and 2008
-
8
UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.
-
9
Yaoqiang XPDL Editor (YXE) is a graphical editor for workflow process definitions, compliant with WfMC specifications( XPDL 2.1 and 1.0 )
-
Argos KYC is an identity verification service provider. Identify Anyone Anywhere Anytime. Argos KYC provides a seamless digital Know Your Customer experience. Build the identity management system for your business with a hassle-free KYC solution.
-
10
JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.
-
11
EASE - Architect Solutions Easily is a UML-Modeller with a WPF user-friendly interface. It can export the solution done with EASE to C# or C++ files (and so many languages that you can define) containing objects made in EASE. Actual version is 1.0.
-
12
red-open uses redview, open-erp-ware and ekkes-corner projects. the goal is to make it all work together as a "Software Manufactur": Model-Driven generation of ERP Business Apps with dynamic rendered Views.
-
13
Amber.net is a lightweight R/O mapper framework for .net, which easy database access without XML descriptors. It uses reflection and annotations for the CRUD cycle of c# objects. Amber.net is dot net version of original java version of Amber
-
14
CUAHSI ODM API implements in Stored Procedures for MySQL and SQLServer, ODM web api implement REST interface, provide internet user full operation on remote ODM via the internet,Joe Hu MapWindow software lab,Idaho State Univer
-
15
CE-QUAL-ICM Version 1.0 is a three-dimensional eutrophication model for the Chesapeake Bay and major tributaries developed by researchers at the U.S. Army Corps of Engineers Engineering Research and Development Center in Vicksburg, MS.
-
16
J3dPSV 1.0 is a graphical application package for viewing and modeling of three dimensional structures of protein structure, including multiple chain sequence table and a three-dimensional (3D) protein structure viewer.
-
17
-
18
An adaptive mini database learns algorithmic operations for data intensive algebraic computational methods within a pervasive computing graph. It also provides generic structures and algorithms as a data fabric.
-
19
uml2svg is a tool for converting UML diagrams into SVG. The diagrams have to conform with the UML Diagram Interchange 1.0 Specification, which at this time means they have be exported by Poseidon for UML.
-
20
Our goal is to demonstrate the potential of model driven development. Implementation in the form of Graphical Workflow ENvironment for Visual Studio.
-
21
The SpringEditor is a plugin for the Eclipse IDE (http://www.eclipse.org) that supports graphical modelling of application contexts for the spring framework (http://www.springframework.org).
-
22
A text template to generate KM3 files from a StarUML Model. The template uses the API provided from StarUML and it works just in WinXP systems (StarUML restriction).
-
23
Simple UML modeling tool geared towards the beginning object-orientation learner. Can be used in an academic setting to teach UML diagrams. Java code generation from Class diagram is supported.
-
24
The Eclipse XML Meta-Modeling Tools project provides tools like editors, extended validation and generators for developing xml based meta-models and domain-specific languages in eclipse.
-
25
Struts-It provides comprehensive support for developing Struts-based web applicatons. It is based on Eclipse 3.1 and well integreted with WTP 0.7. Supports Struts 1.1, 1.2 and JSTL.