|
|
PAGE 11 OF 18
|
|
LogicWeb
|
LogicWeb investigates the application of Logic Programming
(LP) and structured programming ideas to the World Wide
Web. LogicWeb integrates LP ideas with the WWW. This
amalgamation extends Web pages with LP capabilities and
offers LP as an interface to the Web.
|
|
Lout
|
Lout is a document formatting system designed and
implemented by Jeffrey Kingston at the Basser Department
of Computer Science, University of Sydney, Australia. The
system reads a high-level description of a document
similar in style to LaTeX and produces a PostScript file
which can be printed on most laser printers and graphic
display devices. Plain text and PDF (starting from version
3.12) output are also available. Lout is inherently
multilingual. Adding new languages is easy. The following
languages are currently supported (in alphabetical order):
Czech, Danish, Dutch, English, Finish, French, German,
Norwegian, Italian, Russian, Slovenian, Spanish and
Swedish.
|
|
Lyntin
|
Lyntin is an agent development framework centered around
the Python programming language. It includes a library of
modules and a featureful client interface. Use Lyntin if
you are looking for an expressive framework expressed in a
high-level, object oriented programming language.
Originally a mud client, Lyntin has expanded into an
agent/bot development framework for all types of
text-based server interaction.
|
Malicious Mobile
Code Consortium
|
Malicious Mobile Code Consortium created through the
International Computer Security Association is designed to
address the growing threat of malicious auto-executable
applications, such as ActiveX controls and Java applets.
|
|
MAP
|
MAP (Mobile Agents Platform) is a software package for the
development and the management of mobile agents. The
language used both for developing the platform and for
carrying out the agents is Java. The platform gives the
user all the basic tools needed for creating some
applications based on the use of agents. It enables us to
create, run, suspend, resume, deactivate, reactivate local
agents, to stop their execution, to make them communicate
with each other and migrate.
|
|
MathTools
|
MathTools offers information on Visual MATCOM, MATCOM,
MathTools Accelerator, Khoral M-file Toolbox, Data
Structures and Algorithms Toolbox, Visual MATRIX,
MATRIX, MATCOM Compatible Toolboxes and MATLAB
Toolboxes on the Web.
|
|
MELD
|
MELD (Moderately Expressive Logical Description) is a
formal language whose syntax derives from first-order
predicate calculus (the language of formal logic). In
order to express real-world expertise and even just plain
old common sense knowledge, however, it goes far beyond
first order logic. The site offers the extensive features
of MELD.
|
|
Mercury
|
Mercury is a new logic/functional programming language
which combines the clarity and expressiveness of
declarative programming with advanced static analysis and
error detection features. Its highly optimized execution
algorithm delivers efficiency far in excess of existing
logic programming systems, and close to conventional
programming systems. Mercury addresses the problems of
large-scale program development, allowing modularity,
separate compilation, and numerous optimization/time
trade-offs.
|
|
MetaCard
|
MetaCard is a multimedia authoring tool and GUI
development environment for Unix/X11 workstations and
Microsoft Windows 95/NT. Using MetaCard is the easiest way
to build graphical applications, Computer Based Training
(CBT), on-line documentation and a wide variety of other
products.
|
|
Meta
Content Framework
|
Organizational structures for content, such as file
systems, emailbox hierarchies, WWW subject categories,
people directories, etc., are almost as important as
content itself. The goal of the Meta Content Framework
(MCF) is to provide the same benefits for these structures
as HTML provided for content. This is a white paper that
describes the basic concepts and ideas behind MCF. This
paper is not intended to be a specification of MCF.
Instead, it provides the background context for MCF and
outlines the user values delivered. The specification can
be found at
mcf.html.
|
|
MINERVA
|
MINERVA implements Prolog in Java to provide Prolog's
expressive logic as applets on client machines. Because
MINERVA runs Prolog, its rule bases have all the other
features of Prolog, such as support for rapid prototyping,
declarative programs, meta-programming, and natural
language processing.
|
|
MLC++
|
MLC++ is a library of C++ classes for supervised machine
learning. The MLC++ utilities were created using the
library. MLC++ (up to version 1.3X) was developed at
Stanford University and was public domain, that version is
still distributed as such by SGI. SGI MLC++ (V2.0 and
higher) includes improvements to MLC++. These improvements
are research domain only and are available in both source
and object code formats through this web site.
|
|
Mobile Code
|
A comprehensive listing of Mobile Code from W3C...code
that can be transmitted across the network and executed on
the other end.
|
Mobile Code,
Agents and Java
|
A comprehensive site sponsored by the Distributed Systems
Group of the Technical University of Vienna covering
Mobile Code, Agents and Java.
|
Mobile Code
Bibliography
|
Mobile Code Bibliography by Jeremy Hylton includes 150 plus
entries of mobile code, mobile agents, and related
systems. It is available in three forms: with abstracts,
without abstracts and BibTeX source.
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
|
|
|