3104 search results - page 85 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
167
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
138
Voted
FPL
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents an analytical model that relates FPGA architectural parameters to the expected speed of FPGA implementation. More precisely, the model relates the lookuptable ...
144
click to vote
GI
2001
Springer
15 years 9 months ago
2001
Springer
Security mechanisms such as firewalls commonly deployed throughout the Internet present serious obstacles to basic usage of Mobile IP. In this paper we describe how IP security me...
148
click to vote
CHES
2000
Springer
15 years 8 months ago
2000
Springer
This paper shows how a well-balanced trade-off between a generic workstation and dumb but fast reconfigurable hardware can lead to a more efficient implementation of a cryptanalysi...
147
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...