logic
Sponsored Links
Sponsored Links
Secleted [ 0 ] software to compare
Results 1 - 15 of about 61
Fuzzy Logic Clock 1.2
This fun little time keeper keeps you thinking about what the real time could be. Through five levels of fuzziness you will be baffled as to what time "Midday" really is, or how close "Five to Twelve" happens to be. Implementation is easy and allows for more>> This fun little time keeper keeps you thinking about what the real time could be. Through five levels of fuzziness you will be baffled as to what time "Midday" really is, or how close "Five to Twelve" happens to be. Implementation is easy and allows for GMT correction. Enjoy this script and keep your viewers wondering what the real time is!<<less
Added: 2006-12-26 License: GPL Price: $0.00USD
11 downloads
Other version of Fuzzy Logic Clock
This fun little time keeper keeps you thinking about what the real time could be. Through five levels of fuzziness you will be baffled as to what time Midday really is, or how closeLicense:GPL
Computation Tree Logic
This provides a temporal logic used in formal verification of state machines. more>>
Computation Tree Logic is a great temporal logic used in formal verification of state machines. This package implements the basic CTL model checking algorithm using labels. The content of this package is taken from the package CheckMate and restructured to use independently.
Enhancements: 01 Aug 2007
- Fixed a wrong term in the demo description.
- Fix the snapshot
Requirements:
- MATLAB release - MATLAB 7.4 (R2007a)
- Other requirements - AT&T graphviz is supported for visualizing the transition system.
Added: 2007-08-08 License: Freeware Price: Freeware
10 downloads
Using ADO.NET to Develop Data Access Logic (DAL) 1
Dynamic Web sites usually use one or more data sources like a database or xml files. This tutorial explains how to use ADO.NET to easily communicate with data sources through a recommended 3 tier architecture. more>> Dynamic Web sites usually use one or more data sources like a database or xml files. This tutorial explains how to use ADO.NET to easily communicate with data sources through a recommended 3 tier architecture.<<less
Added: 2008-08-26 License: Freeware Price: $0.00USD
12 downloads
InTerra Blog Machine 1.70
InTerra Blog Machine is built with the 3-tier concept in mind, thus full separation of business and presentation logic. With Smarty templates in soul makes the fine-tuning of the UI a blast. Uses MySQL as the backend, yet in order to gain speed pages are more>> InTerra Blog Machine is built with the 3-tier concept in mind, thus full separation of business and presentation logic. With Smarty templates in soul makes the fine-tuning of the UI a blast. Uses MySQL as the backend, yet in order to gain speed pages are rendered into static (optional). The engine has everything a modern blog needs ? from Human Readable URLs to tree-based commenting system. Built by a blogger with 5+ years of blogging experience, it does what it has to do with beauty and unseen speed and performance.<<less
Added: 2006-11-06 License: LGPL Price: $0.00USD
13 downloads
Other version of InTerra Blog Machine
SWI-Prolog 5.7.12
SWI-Prolog is very useful because it offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License. more>>
SWI-Prolog 5.7.12 is very useful because it offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the needs for real-world applications. These days SWI-Prolog is widely used in research and education as well as for commercial applications.
Major Features:
- Kernel licensed under the LGPL. Prolog libraries are distributed under the GPL with an additional statement that allows for use in proprietary applications. Details can be found on the license page.
- fast compilation. E.g., loads 140,000 lines of code spread over 500 source-files in 2.3 seconds on an AMD 5400+ system.
- Robust and free of memory leaks. In use for several servers that run 24x7.
- Small. The full development environment, including graphics, libraries and many interface packages requires approx. 40MB harddisk. The non-graphical kernel is about 650Kb, the graphics library adds about 1.2Mb to the image.
- Scales well for large applications. No limits on program size, atom-length, term-arity or integer values. No performance degradation on predicates with many (indexed) facts.
- Unbounded integer and rational number arithmetic based on GMP library.
- Comprehensive set of built-in predicates, covering Part 1 of the ISO standard, the de-facto Edinburgh Prolog standard and important parts of Quintus and SICStus Prolog. Fair compatibility to Ciao, YAP and GNU-Prolog.
- Flexible and fast interface to the C- and C++-Language. The interface allows for calling both-ways, handling of non-determinism both ways and embedding of the SWI-Prolog kernel in C/C++ projects.
- The goodies: modules (upward compatible to Quintus and SICStus), garbage-collection (transparent to C/C++-code, including atom garbage collection), last-call optimisation, Dynamic expansion of the runtime stacks, ISO exception-handling (including C/C++ interface for catching and throwing exceptions).
- Execution profiler (time and call statistics) for Linux, most Unix platforms and Windows NT/2000/XP/Vista.
- Cross-Referencer. gxref/0 provides a graphical front-end for the extensible Prolog cross-referencer (xref).
- Portable to many platforms, including almost all Unix/Linux platforms, Windows (NT/2000/XP/Vista, including 64-bit editions), MacOS X (using X11 for graphics) and many more. Both 32-bits and 64-bits hardware is supported. Sources are plain C99, configured automatically using GNU autoconf (configure, make, make install).
- UNICODE character set handling internal. Ideal for web- and international applications.
- Machine-independent saved-states (save on one platform, run using the virtual machine of another platform).
- Multi-threading support: run multiple pre-emptively scheduled prolog engines on the same database.
- attributed variables, coroutining (freeze/2, when/2, dif/2), global variables, cyclic terms. Flag-controlled handling of occurs-check (on/off/error) see current_prolog_flag/2.
- Constraint Logic Programming, providing libraries for CHR (Constraint Handling Rules), clp(FD), clp(R,Q) and various others.
- Bundled with interface libraries for Java (JPL), ODBC, TCP/IP sockets, SSL, CGI form handling, etc.
- Multi-threaded Web server library with comprehensive libraries to generate HTML, HTTP authorization, session management, exchanging JSON (used by many AJAX widgets), etc.
- Fast and flexible libraries for parsing SGML/XML (HTML), parsing RDF, store and query the RDF triple model. A graphical editor for RDF/RDFS and OWL models called Triple20 is distributed seperately.
- Literate programming support through PlDoc. Provides integrated view on manual and application documentation and producing LaTeX documentation for your application.
- Unit testing support through PlUnit.
- Regular binary distributions for most popular platforms (Windows (32/64 bits), Linux (32 bits) and MacOS X (32 bits)).
- Regular distribution of the full source packages. The sources are also accesible through GIT.
Added: 2009-07-31 License: LGPL - GNU Lesser General Public License Price: LGPLGNULesserGeneralPublicLicense
downloads
phpSkelSite 1.4
phpSkelSite is a small PHP-MySQL based skinnable website skeleton that I wrote to test WireFrame logic in a Web Application I needed urgently. It is to be used only in a trusted LAN environment as a simple Web Application framework. It is very well more>> phpSkelSite is a small PHP-MySQL based skinnable website skeleton that I wrote to test WireFrame logic in a Web Application I needed urgently. It is to be used only in a trusted LAN environment as a simple Web Application framework. It is very well suited to test out Application Logic and Screen Mockups to aid in Spec freeze. Use any WYSIWYG Web page Editor and copy the necessary code snippet fromthe HTML code and make it your page template (.tpl.php files) in the theme folder. Installation is straightforward - create a MySQL database - name it phpSkelSite (if any other name, edit db.inc.php) using the SQL file included in the package. Unzip the package into a folder in your WebRoot.<<less
Added: 2006-01-04 License: GPL Price: $0.00USD
13 downloads
Other version of phpSkelSite
MySQL based skinnable website skeleton that I wrote to test WireFrame logic in a Web Application I needed urgently. It is to be used only in a trusted LAN environment as a s. phpSkelSite - Ap.MuthuLicense:GPL
SimpleLog Ruby 2.0.2
SimpleLog is a Ruby on Rails weblog application that helps you focus on writing above all else. more>>
SimpleLog Ruby 2.0.2 offers you a useful tool which lets you focus on writing above all else. SimpleLog has all the features you want in a weblogging application wrapped in an efficiently designed interface that eliminates clutter. By focusing on simplicity and usability, SimpleLog allows you to spend your time writing, rather than managing a convoluted CMS.
Major Features:
- Elegant administration interface
- Tagging
- Comments with spam protection
- Quick search with boolean logic
- Multiple author support
- Automatic pinging to Ping-o-matic
- RSS 2.0 feeds
- Pretty permalinks
- Markdown or Textile support, and more!
Added: 2007-10-30 License: Freeware Price: Freeware
14 downloads
PHP validation and verification
This is one the trickiest parts of any application at all. Why is that? Because the developer doesnt control it. You can write the best algorithm in the world, but still if it includes user input there is a place for mistakes. Even if we put some more>> This is one the trickiest parts of any application at all. Why is that? Because the developer doesnt control it. You can write the best algorithm in the world, but still if it includes user input there is a place for mistakes. Even if we put some coplicated logic to prevent the input of wrong symbols, check the consistence of the data and do whatever possible to make sure that it is all OK, there is still possibility that the users enter the wrong number. Though all said, we must try to prevent the most of human errors and the best way to do this is by using Regular Expressions. Basicly Regular Expressions are used for string matches. They are based on search and pattern matching strings in text. A lot of books are written about them, there are even some programming languages designed especially for Regular Expressions.<<less
Added: 2007-12-08 License: Freeware Price: $0.00USD
13 downloads
jReCo
jReCo (JSF Rendering Controller, User authorizer) is a rule engine for JSF applications. It provides clear and simple way for managing rendering state of application components. jReCo lives in JSF application context. Based on defined rules it modifies more>> jReCo (JSF Rendering Controller, User authorizer) is a rule engine for JSF applications. It provides clear and simple way for managing rendering state of application components. jReCo lives in JSF application context. Based on defined rules it modifies the state of components. jReCo Rules use Java like syntax and are stored in separate files. From application point of view there is no need to write any rendering logic in Java or JSF code. All is taken care externally by jReCo. Using jReCo allows developers to separate rule based rendering logic from the rest of the application. It makes the application better structured and more readable. The rule definitions can be updated during application runtime without the need to restart the server. jReCo is extendable by registering Java methods within jReCo?s syntax.<<less
Added: 2008-07-09 License: GPL Price: $1,000.00USD
13 downloads
Erp Objects SDK 1.0.2408.7111
Erp Objects is a set of tools and controls which allows you to write erp applications very quickly by making Erp Object Sets, which are replacement to conventional datasets of ASP.NET. Intellisense, Typed Queries (Yes Typed Queries e.g. more>> Erp Objects is a set of tools and controls which allows you to write erp applications very quickly by making Erp Object Sets, which are replacement to conventional datasets of ASP.NET. Intellisense, Typed Queries (Yes Typed Queries e.g. Customers.GetObjects( CustomerSchema.FirstName. StartsWith("Marc") ); Typed queries are converted to SQL queries, which makes your business logic independent of underlying sql. Your code will run on any database if you use Erp Objects. facility of stored procedures and support for mysql is coming soon.<<less
Added: 2006-08-08 License: Freeware Price: $0.00USD
13 downloads
Other version of Erp Objects SDK
converted to SQL queries, which makes your business logic independent of underlying sql. Your code will run on any database if you use Erp Objects. facility of stored procedures and support forLicense:Freeware
Ookuwagata 0.9.0
Ookuwagata is a minimalistic PHP framework that allows the developer to separate application logic from presentation. It can run on any PHP server, but Apache is recommended so that the developer can take advantage of things like GZIP compression and more>> Ookuwagata is a minimalistic PHP framework that allows the developer to separate application logic from presentation. It can run on any PHP server, but Apache is recommended so that the developer can take advantage of things like GZIP compression and mod_rewrite. Ookuwagata is also completely free and open source.<<less
Added: 2008-06-18 License: GPL Price: $0.00USD
14 downloads
QuickForum 2.2.1
Quick.Forum is a fast tool for leading a discussion forum. more>> QuickForum 2.2.1 is used as an utility to lead a discussion forum. Database based on files will make the backup really fast. Administration system allows you to manage the topics, posts, and topic categories.
The Discussion board application is multilingual. So that you can translate it into other languages in a simple way.
Major Features:
- Freeware based on licensed GPL with additional conditions,
- Simple installation This tool is based on a secure flat files (SQL base not required). Installation needs just a few minutes and just the basic knowledge about FTP connection use,
- Stability because of a common access to this application, any errors are immediately detected and removed,
- Speed in designing this application, minimize the HTML code and also made possible generating small pictures, making web loading as short as possible,
- Standards solutions are compatible with XHTML 1.0 and also with settings of most of the popular servers,
- Template system made to separate the logic and presentational layers from each other. The application outlook change, is really simple and it works through templates in which complicated PHP language is not used at all.
Added: 2008-02-15 License: Freeware Price: Freeware
13 downloads
Shareasale Script
Shareasale Script is designed as a program based on PHP/MYSQL. It is used to import and display product data feeds from shareasale.com. more>>
Shareasale Script is designed as a tool based on PHP/MYSQL. It is used to import and display product data feeds from shareasale.com. The script comes complete with a default template to get you started, and complete backend administration functions to define affiliates and import Shareasale formatted data feeds.
The Shareasale script is completely template based, separating PHP business logic from the HTML presentation. You can modify the look of the script by modifying the template files using your favorite HTML editor. Special tags in the template are surrounded by . When modifying the templates, please leave the special in their appropriate places.
Requirements:
- PHP Version 4.4.1 or greater
Added: 2007-12-20 License: Freeware Price: Freeware
1 downloads
AurigaDoc 1.4.0-b 1.4.0-b
AurigaDoc is a java-xml-xsl based documentation tool for writing xml documents and converting them to other formats like HTML, DHTML, RTF and PDF. AurigaDoc can produce output in HTMl(single and multi-page), DHTML, PDF, RTF, PostScript, HTML Help, Java more>> AurigaDoc is a java-xml-xsl based documentation tool for writing xml documents and converting them to other formats like HTML, DHTML, RTF and PDF. AurigaDoc can produce output in HTMl(single and multi-page), DHTML, PDF, RTF, PostScript, HTML Help, Java Help, Oracle help For Java, Unix Man Page, etc The idea is to keep a single document source(as xml) and convert it to various formats using XSLT. This is a upgraded release. In these release some bugs have abeen fixed and some new features have been introduced. These include - Profiling: Generating different output from same source by passing parameters - Creating a document Index - Including files using XInclude.<<less
Added: 2005-11-12 License: GPL Price: $0.00USD
472 downloads
Other version of AurigaDoc
Auriga Logic Pvt Ltd - AurigaDoc. AurigaDoc is a java-xml-xsl based documentation tool for writing xml documents and converting them to other formats like HTML, DHTML, RTF andLicense:GPL
PHP Pagemill 1.1.3
The PHP Pagemill is a lightweight, configurable template engine for web applications. It provides a simple way to separate logic and design, as is typically done in applications that use the MVC design pattern. Although it is not a complete framework more>> The PHP Pagemill is a lightweight, configurable template engine for web applications. It provides a simple way to separate logic and design, as is typically done in applications that use the MVC design pattern. Although it is not a complete framework like Smarty or Symfony, it is designed to be configurable and extendable. Developers can use it as a foundation for custom frameworks or for any web application in which a separation between HTML and application code needs to be enforced. The latest version features a more robust parser for better nested tag support and new performance optimizations.<<less
Added: 2007-06-28 License: Freeware Price: $0.00USD
13 downloads
Secleted [ 0 ] software to compare
Copyright Notice:
Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future software development. The above logic search only lists software in full, demo and trial versions for free download. Download links are directly from our mirror sites or publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed
