5843 search results - page 250 / 1169 » Software Security in Practice |
151
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Predefined composite operations are handy for efficient software modeling, e.g., for the automatic execution of refactor
132
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
139
click to vote
SAINT
2005
IEEE
15 years 11 months ago
2005
IEEE
The paper focuses on software distribution over the Internet, points to weaknesses of the current practice and argues for removing the weaknesses by introducing a ubiquitous distr...
155
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
Registered Engineers are expected to be aware of their responsibilities as professionals. Those who practice Software Engineering often enter that profession without either an eng...
139
click to vote
DFMA
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes two protocols for the secure download of content protection software to mobile devices. The protocols apply concepts from trusted computing to demonstrate tha...