2585 search results - page 278 / 517 » computing 1999 |
167
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
129
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
124
click to vote
DSOM
1999
Springer
15 years 8 months ago
1999
Springer
The administration of heterogeneous networks with many devices is a tedious and time-consuming task. Today’s approaches only provide static configuration files and make the add...
136
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
138
click to vote
ERSHOV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...