Search Results for "linux scanner software" - Page 8
Sort By:
Showing 379 open source projects for "linux scanner software"
View related business solutions-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
1
u4j2rsf is a java tool to translate reports generated by Understand for Java to RSF (Rigi Standard Format).
-
2
Reflective Ecore Model Diagram Editor is a GMF based Eclipse plugin which provides a graphical editor for any EMF model file, using only the meta-model such as .ecore and .xsd file. You don't need any .gmfgraph, .gmftool, .gmfmap, or .gmfgen files.
-
3
Java reverse-engineering plug-in for Eclipse Modelling project. Depends on JDK and UML2 eclipse projects. Supports JKD5, including enums and generics.
-
4
This Project offers different model operations for the Eclipse Modeling Framework, such as comparison, difference calculation, merging and a unification of EMF models.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
-
6
ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).
-
7
Simple implementation of finite state machine concepts. The project contain ease-to-use library and modeling graphical tool. Project define simple identical API for Finite State Machines for both language bindings (C# and Java).
-
8
Eclipse based framework to create interoperability among UML2 and Architectural Description Languages (ADLs). DUALLy works at two abstraction levels: meta-modeling (via AMW weaving models), and modeling (via UML, Ecore models and ATL transformations).
-
9
ATTENTION! For various reasons, the infrastructure of the Reuseware project has moved. All information and latest versions are available via the new Reuseware webpage: http://reuseware.org
-
Build Securely on Azure with Proven FrameworksMoving 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.
-
10
-
11
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
12
SimpleTable is a part of the EMC Framework. SimpleTable is a Java Swing Component which is easy to create and customize. It auto generates the columns from the given entity. The entire component follows Model Driven Development using Enterprise Architect
-
13
The open web architecture framework defines web applications in an eclipse based DSL editor. A code generator transforms the models into a Google Web Toolkit / Google App Engine project which can be customized by the developer.
-
14
Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
-
15
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.
-
16
XgaG stands for "XgaG generates all Games". Our goal is to provide an easy to use modeling environment to build all kinds of board games.
-
17
Clothes - sewing CAD for creation of models of clothes. Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.
-
18
A basic package that represents graphs along with some basic graph algorithms in Java. The idea is to keep the representation simple, straightforward and documented.
-
19
The Shrimp suite provides interactive visualizations of graph-based data. Creole (Eclipse plug-in) visualizes Java source code. Jambalaya (Protege plug-in) visualizes ontologies (including OWL), & Stand-Alone Shrimp visualizes RSF/GXL/PRJ/PPRJ files.
-
20
OWL2XMI is a java project to facilitate the creation of classes UML diagrams. It generates a XMI file from one ontology, this XMI file can be imported using UML tools such as: StarUML, ArgoUML, among others. There are available online version, Visit Proj
-
21
KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.
-
22
This project has been moved to the Tungsten project, which contains a number of Tungsten technologies together. Please visit at http://sourceforge.net/projects/tungsten. This project will not be further maintained.
-
23
Water: a fast, secure, dynamic OO language and database. Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.
-
24
The Amplify MDA project is aimed at delivering a 'model-to-text' generator tool with real-world applicability in less than 1000 lines of Java/Groovy code.
-
25
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
