2513 search results - page 151 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
173
click to vote
OOPSLA
2007
Springer
16 years 13 days ago
2007
Springer
DigitalAssets Discoverer is a tool that implements a group of indicators for automatic identification of software components that can be reused in the development of new applicati...
183
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
The large number of Web pages on many Web sites has raised navigational problems. Markov chains have recently been used to model user navigational behavior on the World Wide Web (W...
160
click to vote
COMPSAC
2006
IEEE
16 years 11 days ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
143
click to vote
ICESS
2007
Springer
16 years 14 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
192
click to vote
IEEEPACT
2007
IEEE
16 years 19 days ago
2007
IEEE
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...