10.17: adde/smartcards:
. smartcards have at least virtual processor,
meaning that if the card can be reached by a trusted process,
... but that is a big if ! .
skip to main |
skip to sidebar
Facebook
. real opportunity starts with real documentation .
(As an Amazon Associate I earn from qualifying purchases.); pages of alpha doc's
Blog Archive
-
▼
2009
(170)
-
▼
December
(145)
- China's coming up in a big way
- Pisa's Valdera Polo Sant'Anna School` bionic arm
- need more review to decompose the system
- bytecode cache
- real sensitivity training
- addm's save registers
- terminology
- center for economic literacy
- hydrogen economy is here!
- cyborganics
- refuting the big bang
- cloud computing
- literateprograms.org
- booking robotics
- quicksilver
- blind assist needs both tui and aui
- vnc integration
- unicode saving space(s!)
- gui
- communicating event loops model
- aop (aspect-oriented programming)
- user-defined literals
- c-- (c minus minus.org)
- coercive polymorphism
- modular coercion
- frame-based type systems
- the right thing vs C
- paths from adt's to concrete bindings
- booking oop with Cardelli
- translating to safe c
- microkernels
- book mac security
- cap-based security employed by yahoo.com
- addm's modular architecture
- addm less needed than adda
- parrot.platform
- securing the paste.buffer
- unit testing
- open source's role in security
- addx' filetyping
- filesystem as intranet of vol's and slots
- automated tweaking generator
- key-mapped menu systems
- concurrent account windows
- smartcards
- pasteboard and drag behaviors
- user`agent/can it be trusted?
- systemc
- booking unicode
- groovy scriptifies java`vm
- advanced lang's do type inferencing
- preventing death of a language
- bitc
- Sedgewick` Algorithms
- parameter's datatyping
- dot syntax
- pragmatics
- custom precedence rules
- tolerant and precise parsing
- unifying {english, math}`capitalization rules
- reserved words
- adda's lexicon
- num.type
- data.struct's
- generics
- separate compilation
- tree.type
- nested subprograms translated to c
- quality documentation
- gnome vs kde
- wordcode
- unicode as wordcode transport
- symbol.type
- cap'based or actors-based
- coding density demands better corruption checking
- type.indicator vs return.indicator
- implicit gui programming
- translating to stackless c
- unifying pointers and functions
- array as type vs naming strategy
- concurrent control.struct's
- datatypes
- unifying records with parameters
- Wheeler` Secure Programming for Linux and Unix HOWTO
- booking xcode
- booking unix
- unicode.org misunderstands the apply character
- robotics policy
- robot's constitution
- psychology 101 for robots
- an obj'c 3.0
- teaching history with games
- robotics
- clients
- google's knol
- mvc customization (model-view-controller pattern)
- adde's file.editor
- audio.editor
- adde's journaling
- coordination lang's
-
▼
December
(145)
tags
1st-class functions
ABC
ABI
accessibility
actors
ada
adda
adde
addl
addm
adds
addx
adt
aether
agents
aggregate
ai
algorithms
ambienttalk
Amer'way
Android
aop
architecture
array
assertions
asynchronous
attributes
audio
aui
automation
Big Bang
biop
bitc
bundles
C
c--
c++
cad
cap'based
capabilities
case
Category
CHaPeL
Chrome OS
chunk
class
class cluster
clients
cloud computing
co.dev
coffeescript
compound doc's
concurrency
conditional
constant
constitution
continuations
contracts
conversions
coroutine
cp4e
CPS
crowdsourcing
cstr
CUDA
cyb
cyborganics
Dalvik
db
DCT
deadlock
debug
Defensive Publication
deferred linking
delegates
democracy
design patterns
dev
dev.ada
dev.android
dev.audio
dev.c
dev.cocoa
dev.gui
dev.iOS
dev.linux
dev.mac
dev.net
dev.obj'c
dev.parasail
dev.pyqt
dev.python
dev.qt
dev.ubuntu
dev.unix
dialogs
dimension
distributed
doc'ing
dotNET
dream synthesizer
Dream Theory
drivers
DRM
dsm
dstr
ducktype
dvcs
dyna'linking
e-lang
edu
efficiency
eiffel
encapsulation
enclosures
energy
English
enum
ergonomic
errors
etree
evolver
exceptions
Falcon
filesystem
forks
Fortress
frames
frameworks
Free Capitalist
function
functional
g'code
gear
gemini kernel
general
generativity
generator
generics
gestures
git
gnome
GO
Go-CUT
goto
GPGPU
GPL
graphics
green processes
guest.tag
gui
hash
haskell
hg
higher-order functions
HPC
HPCS
html
hypermatrix
iConsume
ide
ideogram
import
infratype
interface
intranet
ipc
iProduce
isolation
Java
journaled fs
journaling
kb
kde
key bindings
keyboard shortcuts
Knol
kr
label
lang
late binding
lexeme
lexicon
lib'mgt
libjit
library
ling
linux
lisp
list
literals
literate prog'ing
llvm
localisation
logging
loop
lui
mac
macro
MacRuby
managed
markup
math
Mathematica
mem'mgt
menu
meta
metalang
microkernel
minix
modules
monkey patch
MOP
morpheme
morphsubtypes
morphtype
MPI
multi-dispatch
multi-inheritance
multitasking
multithreading
mvc
namespace
naming
net
NetVM
Newspeak
notifications
nu
NUCC
NUI
obj'c
off-side rule
okL4
ontology
oop
Open Invention Network
openware
operation
operator
os
outliner
overloading
package
Parallella
param's
Parasail
parse
patents
Perfection Plan
perl
PGAS
phi
phy
phyla
phylum
Plasma Cosmology
pointers
pol
polymorph
polymorphtype
portability
powerset
pr
pragmatics
precedence
preemptive
privacy
projects
prolog
Promise
property
protected mode
psy
pypy
python
quantum
Qubes
record
relig
robotics
rom
RPython
ruby
s-expression
safe pointers
sandbox
SCA
scm
scratch
search
security
self-modifying
serialization
set
signals
singularity
smartcards
SML
soa
social engineering
solar
SOP
Spyder
stackless
stackoverflow.com
standards
streams
subfiles
subheap
subtype
supercomputing
superscript
supertype
surtype
svn
sw.eng
symbol
syntax
tasklet
taxa
taxon
terminology
time
tortoisehg
translation
tree
tui
tuple
tweaking
type
type class
type cluster
type inferencing
type.tag
typescope.tag
UDF
UHPC
unicode
uniqueness
unit testing
unix
UPC
Vala
value'type
versioning
vfs(virtual file system)
VHDL
vm
vmem
vmm
vmware
vnc
wealth4all
WebAssembly
wo
wordcode
wordnet
wordule
X10
xcode
Xen
xml
search Wikipedia
Search results
No comments:
Post a Comment