8644 search results - page 359 / 1729 » On the Composition of Secure Systems |
182
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Traditional indexing techniques are not well suited for complex data types such as spatial, spatio-temporal, and multimedia data types, where an instance is a composite of multipl...
160
click to vote
ACSC
2003
IEEE
16 years 6 days ago
2003
IEEE
Intention preservation is an important aspect of consistency maintenance in real-time collaborative editing systems. The multi-version approach is able to preserve individual user...
208
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
169
click to vote
ESANN
1998
15 years 8 months ago
1998
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
168
click to vote
ACSAC
2006
IEEE
16 years 29 days ago
2006
IEEE
This work introduces the A system1 , an Internetbased, free and open source electronic voting system which employs strong cryptography. Our system is a fully functiona...