2513 search results - page 175 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
139
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...
159
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
139
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
144
click to vote
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
In the design of low power systems, it is important to analyze and optimize both the hardware and the software component of the system. To evaluate the software component of the s...
130
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...