2255 search results - page 60 / 451 » High Assurance Software Systems |
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
DSD
2007
IEEE
14 years 3 months ago
2007
IEEE
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
AC
2003
Springer
14 years 2 months ago
2003
Springer
We are investigating strategies for using replication to design and implement highly reliable peer-to-peer systems. In particular, we are comparing the use of whole object and blo...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
ECRTS
2008
IEEE
13 years 9 months ago
2008
IEEE
Fault tolerance is an important aspect in real-time computing. In real-time control systems, tasks could be faulty due to various reasons. Faulty tasks may compromise the performa...