139 search results - page 16 / 28 » Complex Reactive Real Time Systems and the Safety Case |
SEFM
2005
IEEE
14 years 9 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
SP
1990
IEEE
13 years 10 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
ICCBR
2003
Springer
13 years 12 months ago
2003
Springer
CBR applications running in real domains can easily reach thousands of cases, which are stored in the case library. Retrieval times can increase greatly if the retrieval algorithm ...
ECRTS
2006
IEEE
14 years 24 days ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...