8949 search results - page 1571 / 1790 » is 1998 |
134
click to vote
IEEEMM
1998
15 years 6 months ago
1998
ract syntax notation ATM asynchronous transfer mode CCETT Centre Commun d’Etudes de Télédiffusion et Télécommunications Davic Digital Audio Visual Council DSMCC Digital Stora...
175
click to vote
IGPL
1998
15 years 6 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
156
click to vote
IGPL
1998
15 years 6 months ago
1998
Calculi of explicit substitutions have almost always been presented using de Bruijn indices with the aim of avoiding -conversion and being as close to machines as possible. De Bru...
163
click to vote
IJCIS
1998
15 years 6 months ago
1998
This paper presents market-based workflow management, a novel approach to workflow specification and execution which regards activities contained in a workflow as goods traded...
204
click to vote
IJCIS
1998
15 years 6 months ago
1998
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...