7890 search results - page 175 / 1578 » The MathSAT 3 System |
135
Voted
WSC
1998
15 years 6 months ago
1998
This paper proposes an integration test-bed system for supply chain management, which forms the foundation for the construction of a valued manufacturing chain. The core system of...
160
Voted
SEC
1993
15 years 6 months ago
1993
We describe public key cryptosystems and analyse the RSA cryptosystem, pointing out a weakness (already known) of the RSA system. We define Lucas functions and derive some of thei...
134
Voted
APAL
2008
15 years 5 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
146
Voted
TAPSOFT
1993
Springer
15 years 9 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
152
click to vote
NCI
2003
15 years 6 months ago
2003
Telecommunication networks have evolved in time thanks to the advances produced by the new technologies and especially, Internet. Expert systems are being applied in management of...