2935 search results - page 438 / 587 » An Integrated Approach to High Integrity Software Verificati... |
155
click to vote
CCS
2009
ACM
16 years 28 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
168
click to vote
ICEBE
2007
IEEE
16 years 13 days ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
183
Voted
IUI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
150
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
160
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, a novel architecture dedicated to image processing is presented. The most original aspect of the approach is the use of a System On Chip implemented in a F...