2513 search results - page 199 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
158
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
210
click to vote
MOMPES
2009
IEEE
16 years 1 months ago
2009
IEEE
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...
155
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
152
click to vote
SIGMOD
2002
ACM
15 years 6 months ago
2002
ACM
The need for supply chain integration (SCI) methodologies has been increasing as a consequence of the globalization of production and sales, and the advancement of enabling inform...
146
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...