Search Results for "research" - Page 6
Sort By:
Showing 1214 open source projects for "research"
View related business solutions-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
1
Coherent Logic FRED Client
Java client API for accessing the FRED web services
***** WARNING ***** The delivery of the 1.0.3-RELEASE of this framework will be the final source code commit that will be made on SourceForge; all further updates can be found at the following address: https://bitbucket.org/CoherentLogic/coherent-logic-fred-client/ ***** WARNING ***** The FRED Client is a Java-based internal domain-specific language (DSL) for accessing the Federal Reserve Economic Data (FRED) web services complements of the Federal Reserve Bank of St.... -
2
SAJaS
Simple API for JADE-based Simulations
The Simple API for JADE-based Simulations (SAJaS) is a proposal to bridge the gap between MAS simulation and development. SAJaS enhances MABS frameworks with JADE-based features. While empowering MABS modellers with modelling concepts offered by JADE, SAJaS also promotes a quicker development of simulation models for JADE programmers. In fact, the same implementation can, with minor changes, be used as a large scale simulation or as a distributed JADE system. SAJaS provides, for certain... -
3
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
4
Makumba
Moved to GitHub: https://github.com/makumba
Makumba helps you rapidly develop data driven web applications. Provides a custom JSP taglib as a main interface, but leaves API open for advanced access. It is implemented in Java. Moved to GitHub: https://github.com/makumba -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
TER implements the CCSDS Recommendation for Image Data Compression (CCSDS 122.0-B-1). TER also adds new features to the Recommendation. TER is designed and programmed with the aim to provide a good basis to test and develop the CCSDS Recommendation.
-
6
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
-
7
The Rope Java Virtual Machine implements the Rope model which is a novel thread level speculative execution model called Rushing Object Parallel Environment. This is a research project aimed at exploiting parallelism in traditional object oriented programs.
-
8
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
9
Xtraitj
Pure Trait-based Programming on the Java Platform
Xtraitj is a programming language for pure trait-based programming. It is completely compatible and interoperable with the JAVA platform without reducing the flexibility of traits. Xtraitj is integrated in Eclipse (editor with all the standard tooling) and JDT. It is implemented in Xtext, relying also on Xbase. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
Opt4J
Modular Java framework for meta-heuristic optimization
Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary... -
11
JCLAL
A Java Class Library for Active Learning
...The full citation is: Oscar Reyes, Eduardo Pérez, María del Carmen Rodríguez-Hernández, Habib M. Fardoun, Sebastián Ventura. JCLAL: A Java Framework for Active Learning. Journal of Machine Learning Research, 17(95):1-5, 2016. -
12
JavaCá&Lá
A Java Distributed Shared Memory Middleware
How can we easily develop applications for multicore or multicomputer architectures? We frequently use middlewares for that problem, but they are often complex and less productive. This way, at DECOM-UFOP, we have a middleware, named JavaCa&La or just JCL, to build portable and scalable solutions over many high performance computer architectures. Our middleware APIs is simple, intuitive and designed for young and senior programmers who don’t have high performance programming skills. Using... -
13
-
14
Development is now hosted at https://github.com/symphonytool/symphony
-
15
CCKDM
Concern Mining
This is a tool for concern mining which uses a KDM model as input and the output is the same model with annotated concerns. It uses a Concern Library and a modified String Clustering K-means algorithm with Levenshtein metric to cluster the strings. -
16
This project consists of various implementations of the Graphplan algorithm. At the moment we have two implementations of Graphplan: * Emplan - A C++ implementation for Linux, Windows and MacOS X * JavaGP - A Java implementation
-
17
Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.
-
18
EventB2SQL
Generate Java and PHP database apps from abstract Event-B models.
EventB2SQL is a Rodin plugin for generating database applications from abstract Event-B models. EventB2SQL generates code for four types of applications: * Java with MySQL backend (JDBC) * Java with SQLite backend (JDBC) * Java for Android with native SQLite backend * PHP with MySQL backend (PDO) EventB2SQL can translate abstract Event-B models that use features such as: * enumerated sets * variables of set and relation types * simultaneous assignment * set... -
19
Jafaran
Fast and more random implementations of java.util.Random.
Jafaran (Java Fast Random) provides fast, and for some more random, implementations of java.util.Random, with additional nextXXX() methods, and methods to retrieve and restore state. The names of implementations contain "Conc" (for concurrent) if they are thread-safe and non-blocking, or "Seq" (for sequential) if they are not thread-safe. Also provides an implementation of Ziggurat algorithm (based on J. A. Doornik paper, 2005), used by nextGaussian() methods of the provided... -
20
serein
A Framework to Model Metaheuristics
-
21
The Jikes Research Virtual Machine (RVM) is designed to execute Java(TM) programs that are typically used in research on fundamental virtual machine design issues.
-
22
AI Search Agent Framework
Java Framework for Artificial Intelligence Search Agents algorithms
-
23
JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.
-
24
Integrated Development Environment Frameworks based on Internet and eXtensible technologies. The goal is to research in the development of interactive environments that facilitate distance programming and distance learning of programming languages.
-
25
The JTS Topology Suite is an API for modelling and manipulating 2-dimensional linear geometry. It provides numerous geometric predicates and functions. JTS conforms to the Simple Features Specification for SQL published by the Open GIS Consortium.
