6607 search results - page 231 / 1322 » Making TeX Work |
120
click to vote
CISC
2005
Springer
15 years 9 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
116
click to vote
COCOON
2005
Springer
15 years 9 months ago
2005
Springer
Rocchio’s similarity-based relevance feedback algorithm, one of the most important query reformation methods in information retrieval, is essentially an adaptive supervised lear...
130
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
RPG’s (Role Playing Games) and improvisational theatre have some obvious similarities. Both require the participants to work together in real-time to construct dynamic narrative...
118
Voted
DSOM
2005
Springer
15 years 9 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
117
click to vote
PVM
2005
Springer
15 years 9 months ago
2005
Springer
Communication subsystems are used in high-performance parallel computing systems to abstract the lower network layer. By using a communication subsystem, an upper middleware librar...