3868 search results - page 125 / 774 » Open Systems in TLA |
168
click to vote
SWSTE
2005
IEEE
16 years 13 days ago
2005
IEEE
Flash memory is a type of electrically erasable programmable read-only memory (EEPROM). Because flash memories are nonvolatile and relatively dense, they are now used to store ...
180
click to vote
VISUALIZATION
2005
IEEE
16 years 13 days ago
2005
IEEE
Arti cial neural networks are computer software or hardware models inspired by the structure and behavior of neurons in the human nervous system. As a powerful learning tool, incr...
153
click to vote
FOSSACS
2003
Springer
16 years 2 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
180
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...
190
click to vote
ESORICS
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...