1286 search results - page 192 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
131
Voted
IC3
2009
14 years 10 months ago
2009
In this paper we have worked out on some the complex modeling aspects such as Multi Scale modeling, MATLAB Sugar based modeling and have shown the complexities involved in the anal...
102
Voted
CVPR
2006
IEEE
15 years 6 months ago
2006
IEEE
Nowadays, GPS-based car navigation systems mainly use speech and aerial views of simplified road maps to guide drivers to their destination. However, drivers often experience dif...
139
Voted
3DIM
2005
IEEE
15 years 2 months ago
2005
IEEE
Camera calibration methods, whether implicit or explicit, are a critical part of most 3D vision systems. These methods involve estimation of a model for the camera that produced t...
FOCS
2004
IEEE
15 years 4 months ago
2004
IEEE
A desirable goal for cryptographic protocols is to guarantee security when the protocol is composed with other protocol instances. Universally Composable (UC) protocols provide th...
117
Voted
ACSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...