11022 search results - page 1830 / 2205 » Programming Systems for Autonomy |
194
click to vote
ISPEC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
165
click to vote
MKM
2005
Springer
16 years 8 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
166
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
149
click to vote
SAMOS
2005
Springer
16 years 8 days ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
136
click to vote
TGC
2005
Springer
16 years 8 days ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...