3792 search results - page 553 / 759 » Techniques for Trusted Software Engineering |
130
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Communication middleware such as MuniCluster provides highlevel communication mechanisms for networked applications through hiding the low-level communication details from the app...
151
click to vote
ISPASS
2005
IEEE
16 years 6 days ago
2005
IEEE
Cosmic-ray induced soft errors in cache memories are becoming a major threat to the reliability of microprocessor-based systems. In this paper, we present a new method to accurate...
140
click to vote
ISPASS
2005
IEEE
16 years 6 days ago
2005
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed algorithms automatically group similar portions of a program’s execution ...
269
click to vote
WWW
2005
ACM
16 years 5 days ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
174
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...