5326 search results - page 159 / 1066 » On what we can ensure |
188
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
168
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
155
click to vote
WIRI
2005
IEEE
16 years 1 hour ago
2005
IEEE
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for infor...
199
click to vote
DOLAP
2003
ACM
15 years 11 months ago
2003
ACM
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
185
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
We describe an enhanced version of the TWINKLE factoring device and analyse to what extent it can be expected to speed up the sieving step of the Quadratic Sieve and Number Field S...