6434 search results - page 860 / 1287 » Model Transformations with Reference Models |
153
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
154
Voted
COGNITIVE
2001
Springer
15 years 9 months ago
2001
Springer
The relationship between our actions and their perceivable results is ruled by what we call the laws of nature. It is general understanding that our actions act upon real objects ...
150
click to vote
CRYPTO
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
141
click to vote
PPSN
1994
Springer
15 years 9 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
188
click to vote
AIED
2007
Springer
15 years 9 months ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...