Sciweavers

4029 search results - page 546 / 806
» Reconfigurable Systems in Education
Sort
View
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 7 months ago
Dynamical issues in interactive representation of physical objects
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
Jean-Loup Florens, Alina Voda, Daniela Urma
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 7 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
CORR
2010
Springer
352views Education» more  CORR 2010»
15 years 7 months ago
Case Study On Social Engineering Techniques for Persuasion
T There are plenty of security software in market; each claiming the best, still we daily face problem of viruses and other malicious activities. If we know the basic working prin...
Mosin Hasan, Nilesh Prajapati, Safvan Vohara
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 7 months ago
A Reflective Approach to Providing Flexibility in Application Distribution
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
Álvaro J. Rebón Portillo, Scott M. W...
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 7 months ago
Topological analysis of the power grid and mitigation strategies against cascading failures
This paper presents a complex systems overview of a power grid network under cascading conditions. The cascading effect has been simulated on three different networks, the IEEE 300...
Sakshi Pahwa, Amelia Hodges, Caterina M. Scoglio, ...