2314 search results - page 307 / 463 » What is a Model |
152
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
135
click to vote
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
While intensity-based similarity measures are increasingly used for medical image registration, they often rely on implicit assumptions regarding the physics of imaging. The motiva...
126
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
148
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. We present two models, namely...
129
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...