2513 search results - page 159 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
IEEEPACT
2007
IEEE
15 years 4 months ago
2007
IEEE
In recent years, microprocessor manufacturers have shifted their focus from single-core to multi-core processors. To avoid burdening programmers with the responsibility of paralle...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
During the development and maintenance of ObjectOriented (OO) software, the information on the classes which are more prone to be changed is very useful. Developers and maintainer...
110
click to vote
ACSD
1998
IEEE
15 years 2 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...