15155 search results - page 2354 / 3031 » System Software |
227
click to vote
CCS
2011
ACM
14 years 7 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
188
click to vote
PROMISE
2010
15 years 2 months ago
2010
Background. Currently there are several definitions of measures that should represent the size of software functional requirements. These measures have gained a quite relevant rol...
178
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
A continuous technological innovation in software has brought development in integration technologies that promise the real time enterprise-wide systems integration. Healthcare or...
145
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
200
click to vote
FPL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--Modular multiplication of long integers is an important building block for cryptographic algorithms. Although several FPGA accelerators have been proposed for large modul...