8623 search results - page 1547 / 1725 » Software engineering for secure systems |
215
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
200
click to vote
EMSOFT
2005
Springer
16 years 7 hour ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
233
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...
182
click to vote
TDSC
2010
15 years 1 months ago
2010
We describe Instruction-Set Randomization (ISR), a general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoffs' principle to creat...
137
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...