2513 search results - page 40 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
CSMR
1998
IEEE
14 years 2 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
HCI
2009
13 years 7 months ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
FM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
ITCC
2005
IEEE
14 years 3 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...