11462 search results - page 188 / 2293 » Developing Application-Centric Methods |
106
Voted
ISW
2001
Springer
15 years 8 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
106
Voted
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
Model based error compensation of a robotic manipulator, also known as robot calibration, requires the identification of its generalized errors. These errors are found from measur...
143
Voted
ASIACRYPT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The security of the alleged RC4 stream cipher and some variants is investigated. Cryptanalytic algorithms are developed for a known plaintext attack where only a small se...
127
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
129
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compi...