Sciweavers

125 search results - page 7 / 25
» Certificate Based Authorization Simulation System
Sort
View
HICSS
2009
IEEE
146views Biometrics» more  HICSS 2009»
14 years 2 months ago
Open Access to Scientific Literature - Increasing Citations as an Incentive for Authors to Make Their Publications Freely Access
In recent years the scientific journal market faces significant evolutions that may cause major changes in the way of publishing research results. In this connection, open access ...
Steffen Bernius, Matthias Hanauske
WSC
2004
13 years 8 months ago
Simulating the Panama Canal: Present and Future
This paper presents the methodologies and preliminary results of the project to develop a simulation model of the Panama Canal, one of the most famous waterway and locks system of...
Luiz Augusto Gago Franzese, Luiz Otávio Abd...
ITS
1998
Springer
95views Multimedia» more  ITS 1998»
13 years 11 months ago
Using Induction to Generate Feedback in Simulation Based Discovery Learning Environments
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...
Koen Veermans, Wouter R. van Joolingen
SAFECOMP
2010
Springer
13 years 5 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...
VTC
2010
IEEE
415views Communications» more  VTC 2010»
13 years 5 months ago
System Level Simulation of LTE Networks
—In order to evaluate the performance of new mobile network technologies, system level simulations are crucial. They aim at determining whether, and at which level predicted link...
Josep Colom Ikuno, Martin Wrulich, Markus Rupp