202 search results - page 28 / 41 » aim 1999 |
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
ERSHOV
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
MSS
1999
IEEE
15 years 1 months ago
1999
IEEE
A European consortium formed by science and industrial partners have started the EuroStore project1 to develop and market a Hierarchical Storage Management System (HSM) together w...
RIDE
1999
IEEE
15 years 1 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
SRDS
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper describes the design and implementation of a fault-tolerant CORBA naming service - CosNamingFT. Every CORBA object is accessed through its Interoperable Object Referenc...