13457 search results - page 152 / 2692 » Design and Development of the Long-Jumping |
155
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
147
click to vote
PLSA
1994
15 years 10 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
193
click to vote
CSEE
2006
Springer
15 years 10 months ago
2006
Springer
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
187
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
168
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...