16218 search results - page 337 / 3244 » Standards |
170
click to vote
ECOOPW
2003
Springer
16 years 3 days ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
176
click to vote
EUROCRYPT
2003
Springer
16 years 3 days ago
2003
Springer
Cryptographic computations are often carried out on insecure devices for which the threat of key exposure represents a serious concern. Forward security allows one to mitigate the...
196
click to vote
EUROCRYPT
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
163
click to vote
EUSAI
2003
Springer
16 years 3 days ago
2003
Springer
The paper describes initial results in an ongoing project aimed at providing and analyzing standardized, representative data sets for typical context recognition tasks. Such data ...
207
click to vote
FMCO
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...