6040 search results - page 923 / 1208 » Generating Instance Models from Meta Models |
157
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
123
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We present and evaluate various methods for purely automated attacks against click-based graphical passwords. Our purely automated methods combine click-order heuristics with focu...
129
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Recent information hiding schemes are scrutinized in terms of their cryptographic performance. We establish conditions under which the key equivocation function is optimal for the...
140
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a method to localize objects which are partially buried in an unstructured environment. The objects are limited to surfaces of revolution in the present study...
205
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Immersive real-time large-scale network simulation is a technique that supports simulation of large-scale networks to interact with real implementations of network protocols, netw...