6434 search results - page 918 / 1287 » Model Transformations with Reference Models |
160
Voted
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
Creating freeform surfaces is a challenging task even with advanced geometric modeling systems. Laser range scanners offer a promising alternative for model acquisition--the 3D sc...
188
click to vote
SIGMETRICS
1996
ACM
15 years 9 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
157
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
136
click to vote
FOCS
2004
IEEE
15 years 8 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...
143
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...