Sciweavers

209 search results - page 23 / 42
» Towards a Systematic Development of Secure Systems
Sort
View
SEFM
2009
IEEE
14 years 3 months ago
Implementation Correctness of a Real-Time Operating System
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
ICALT
2005
IEEE
14 years 2 months ago
E-Learning Teaching Material Support System for Public Vocational Training
In Vocational training, trainees with every age groups have various kinds of vocational and educational. Instructors of vocational training have to teach them according to their d...
Norikatsu Fujita, Toshihiro Hayashi, Toshinori Yam...
IJMI
2002
142views more  IJMI 2002»
13 years 8 months ago
Quality assured trusted third parties for deploying secure internet-based healthcare applications
In this paper we present a complete reference framework for the provision of quality assured Trusted Third Party (TTP) services within a medical environment. The main objective is...
Dimitrios Lekkas, Stefanos Gritzalis, Sokratis K. ...
ENTCS
2006
158views more  ENTCS 2006»
13 years 8 months ago
Towards a Subject-Oriented Model-Driven Framework
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
Pablo Amaya, Carlos González, Juan M. Muril...
TC
2008
13 years 8 months ago
Secure Memory Accesses on Networks-on-Chip
Security is gaining relevance in the development of embedded devices. Toward a secure system at each level of design, this paper addresses security aspects related to Network-on-Ch...
Leandro Fiorin, Gianluca Palermo, Slobodan Lukovic...