9626 search results - page 1710 / 1926 » Invariant Based Programming |
182
click to vote
SMARTNET
2000
15 years 7 months ago
2000
During the recent years of research on mobile agents, significant effort has been directed towards the identification of models of agent mobility suitable for network management a...
164
click to vote
SPLC
2000
15 years 7 months ago
2000
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...
166
click to vote
WOA
2000
15 years 7 months ago
2000
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
145
click to vote
SOSP
1997
ACM
15 years 7 months ago
1997
ACM
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This ...
159
click to vote
WSC
1997
15 years 7 months ago
1997
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...