5550 search results - page 964 / 1110 » Different Approaches to Proof Systems |
163
click to vote
RIDE
1999
IEEE
15 years 11 months ago
1999
IEEE
The Internet and the proliferation of inexpensive computing power in the form of clusters of workstations or PCs provide the basic hardware infrastructure for business to business...
155
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
A TCB and security kernel architecture for supporting multi-threaded, queue-driven transaction processing applications in a multilevel secure environment is presented. Our design ...
181
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
Supply Chain Management (SCM) plans and controls the production over a group of autonomous enterprises. Process-oriented design is used to eliminate inefficiencies of the chain on...
160
click to vote
ICFP
1998
ACM
15 years 10 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
180
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...