2838 search results - page 257 / 568 » Verifying Controlled Components |
99
Voted
COOTS
1998
15 years 2 months ago
1998
This paper describes the design and implementation of the Mobile Objects and Agents (MOA) project at the Open Group Research Institute. MOA was designed to support migration, comm...
82
Voted
CN
2006
15 years 1 months ago
2006
By combining the Open Kernel Environment, a Click-like software model known as Corral and basic concepts of active networking, we allow third-party code to control the code organi...
96
Voted
INFSOF
2006
15 years 1 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
125
Voted
SIGPLAN
2002
15 years 23 days ago
2002
: Object-oriented frameworks require thorough testing as they are intended to be reused repeatedly in developing numerous applications. Moreover, whenever a framework is extended f...
SAC
2010
ACM
15 years 8 months ago
2010
ACM
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...