20655 search results - page 380 / 4131 » Exploring Software Systems |
166
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
As computational devices continue to advance, there are reasons to examine their foundations a little more deeply, and to ask whether there may not be something more to be found. ...
187
click to vote
ISSRE
2005
IEEE
16 years 12 days ago
2005
IEEE
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
164
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
168
click to vote
PST
2008
15 years 8 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
187
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Finding relevant information within the vast amount of information exchanged via feeds is difficult. Previous research into this problem has largely focused on recommending relev...