20175 search results - page 51 / 4035 » Is abstraction the key to computing |
108
Voted
ICFP
2000
ACM
15 years 4 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
129
Voted
ICDM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
CTRSA
2008
Springer
15 years 2 months ago
2008
Springer
ended abstract appeared in Proceedings of the Cryptographers' Track at the RSA Conference (CT-RSA '08)
122
click to vote
TRETS
2010
14 years 11 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
82
Voted
APNOMS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Recently the concept of personal PKI was introduced to describe a public key infrastructure specifically designed to support the distribution of public keys in a personal...