9821 search results - page 247 / 1965 » A Framework for the Development of Protocols |
167
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The number of protein targets with a known or predicted tri-dimensional structure and of drug-like chemical compounds is growing rapidly and so is the need for new the...
198
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
184
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
We present a framework for learning features for visual discrimination. The learning system is exposed to a sequence of training images. Whenever it fails to recognize a visual co...
147
click to vote
ITICSE
2006
ACM
16 years 20 days ago
2006
ACM
In a small computer science department without a graduate program, it is sometimes difficult to attract research students. This is particularly true for research in computer visio...