-
PEPA
- Referenced in 117 articles
[sw10692]
- algebra is supported by the PEPA Eclipse Plug-in project, a contribution to the Eclipse ... integrated development environment. The PEPA Eclipse Plug-in contains a PEPA editor and performance analysers ... Stochastic Logic (CSL). Download the PEPA Eclipse Plug-in from the download site...
-
Cytoscape
- Referenced in 80 articles
[sw09080]
- Core is extensible through a straightforward plug-in architecture, allowing rapid development of additional computational ... features. Several case studies of Cytoscape plug-ins are surveyed, including a search for interaction...
-
SGeMS
- Referenced in 65 articles
[sw13298]
- indeed built around a system of plug-ins which allow new geostatistical algorithms...
-
CLEAN
- Referenced in 58 articles
[sw01346]
- applications. Dynamics can be used to make plug-ins which will be type checked...
-
Rcmdr
- Referenced in 31 articles
[sw07952]
- Commander is itself extensible through plug-in packages, and many such plug...
-
StirMark
- Referenced in 34 articles
[sw19164]
- written so that you can easily plug-in your watermarking library...
-
Rhinoceros
- Referenced in 18 articles
[sw07518]
- uniform rational B-spline (NURBS) modeling. Plug-ins developed by McNeel include Flamingo (raytrace rendering ... also available. There are also rendering plug-ins for Maxwell Render, V-ray, Thea ... design in part because of the Grasshopper plug-in for computational design. Many new avant...
-
Fuzzydl
- Referenced in 27 articles
[sw11709]
- fuzzy sets). There is also a Protege plug-in that supports Fuzzy OWL2, to build...
-
CoreASM
- Referenced in 14 articles
[sw01936]
- CoreASM plug-in architecture. Abstract State Machines are known for their versatility in modeling ... extensible architecture which supports various extensions through plug-ins. In this paper, we explore ... plug-in architecture of the CoreASM engine and demonstrate its potentials by looking into ... implemented plug...
-
Java-MOP
- Referenced in 21 articles
[sw14034]
- included into the framework via logic plug-ins, allowing one to refer not only...
-
kerdiest
- Referenced in 14 articles
[sw11983]
- kernel distribution function estimation are implemented: the plug-in of Altman and Leger, the plug...
-
ProjectQ
- Referenced in 10 articles
[sw21653]
- performance simulator with emulation capabilities, and compiler plug-ins for circuit drawing and resource estimation ... scientists working on quantum compilation can provide plug-ins for additional compilation, optimization, gate synthesis...
-
SCIP-SDP
- Referenced in 14 articles
[sw15618]
- SDPA. The SCIP-SDP-Package is a plug-in for the branch-and-cut framework...
-
rCOS
- Referenced in 14 articles
[sw01502]
- further integration with transformation and analysis plug-ins is delineated...
-
LTSA-WS
- Referenced in 14 articles
[sw10585]
- composition. The approach is implemented as a plug-in for the Eclipse development environment providing...
-
MERLIN
- Referenced in 14 articles
[sw04248]
- that Merlin is open, i.e. a plug-in mechanism is provided so that others...
-
YADE
- Referenced in 13 articles
[sw06761]
- interface where the modelling methods can be plugged-in. par Originality/value: The resulting YADE-OPEN ... coupled within the same framework while plug-ins can import data from other software...
-
Z3-str
- Referenced in 9 articles
[sw19493]
- solver through its plug-in interface. Z3-str treats strings as a primitive type, thus ... other primitives. The logic of the plug-in has three sorts, namely, bool...
-
SOCR
- Referenced in 12 articles
[sw16634]
- addition, it is designed in a plug-in object-oriented architecture and is completely platform...
-
fmp
- Referenced in 6 articles
[sw39310]
- Feature Modeling Plug-in. The Feature Modeling Plug-in (fmp) is an Eclipse plug ... standalone in Eclipse or together with fmp2rsm plug-in in Rational Software Modeler...