2455 search results - page 60 / 491 » Graphical abstract help |
SE
2007
13 years 10 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
BIRTHDAY
2006
Springer
14 years 18 days ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
CRYPTO
1995
Springer
14 years 13 days ago
1995
Springer
Abstract: We present a number of attacks, some new, on public key protocols. We also advance a number of principles which may help designers avoid many of the pitfalls, and help at...
CRYPTOLOGIA
2007
13 years 8 months ago
2007
Abstract. In this paper, a simplified version of the International Data Encryption Algorithm (IDEA) is described. This simplified version, like simplified versions of DES [8] [1...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
This paper presents a novel approach of using web log data generated by course management systems (CMS) to help instructors become aware of what is happening in distance learning ...