1401 search results - page 89 / 281 » Tool Integration for Reasoned Programming |
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
IRI
2007
IEEE
14 years 3 months ago
2007
IEEE
The integration of networked applications, especially those requiring continuous access to shared information resources and databases, may be effected by scheduled unavailability ...
IFIP
1997
Springer
14 years 1 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
LPKR
1997
Springer
14 years 1 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
CP
1995
Springer
14 years 14 days ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...