851 search results - page 53 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
JSS
2007
14 years 9 months ago
2007
The resource management in distributed real-time systems becomes increasingly unpredictable with the proliferation of data-driven applications. Therefore, it is inefficient to all...
ACSAC
2007
IEEE
15 years 1 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
ITCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Developing large multi-agent systems is a complex task involving the processes of the requirement, architecture, design and implementation of these systems. In particular, the arc...
DOCENG
2003
ACM
15 years 3 months ago
2003
ACM
We describe the design and use of a personal digital library system, UpLib. The system consists of a full-text indexed repository accessed through an active agent via a Web interf...
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Understanding biological evolution prompts for a detailed understanding of the realized phenotype. Biochemical and gene regulatory dynamics are a cornerstone for the physiology o...