4386 search results - page 602 / 878 » A Tamper-Resistant Programming Language System |
162
click to vote
ASE
2005
15 years 3 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
132
Voted
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
150
Voted
PEPM
1999
ACM
15 years 8 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
136
Voted
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
135
click to vote
IIWAS
2007
15 years 5 months ago
2007
By using database security metrics to evaluate how risky the current database environment is and visually displaying the metric results on graphs, database security visualization ...