10575 search results - page 1527 / 2115 » T2Script Programming Language |
164
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
183
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
199
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
It is widely agreed that mobile agents in conjunction with WWW technology will provide the technical foundation for future electronic commerce. A prerequisite for the use of mobile...
231
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
175
Voted
ILP
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...