Sciweavers

3451 search results - page 331 / 691
» Collaborative attack modeling
Sort
View
181
Voted
KI
2008
Springer
15 years 6 months ago
Learning Dance Movements by Imitation: A Multiple Model Approach
Abstract. Imitation learning is an intuitive and easy way of programming robots. Instead of specifying motor commands, you simply show the robot what to do. This paper presents a m...
Axel Tidemann, Pinar Öztürk
MTA
2002
103views more  MTA 2002»
15 years 6 months ago
STEPS: Supporting Traditional Education Procedures-A TCP/IP Multimedia Networks-Based Model
This paper describes an integrated model for the realization of an Open and Distance Learning (ODL) environment supporting traditional learning procedures, through collaborative le...
Christos Bouras, Petros Lampsas, Paul G. Spirakis
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 4 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
IJIM
2007
84views more  IJIM 2007»
15 years 6 months ago
Mobile e-learning course scenario model on PDA
: Web-based services mobile learning can enable collaborative learning and access to different information sources in actual problem-solving situations. The PDA’s are now designe...
Jeanne Schreurs
173
Voted
FOSSACS
2009
Springer
16 years 1 months ago
Bisimulation for Demonic Schedulers
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
Konstantinos Chatzikokolakis, Gethin Norman, David...