Sciweavers

7404 search results - page 581 / 1481
» New Tools in Education
Sort
View
CORR
2010
Springer
71views Education» more  CORR 2010»
15 years 7 months ago
An Agent-based Simulation of the Effectiveness of Creative Leadership
This paper investigates the effectiveness of creative versus uncreative leadership using EVOC, an agent-based model of cultural evolution. Each iteration, each agent in the artifi...
Stefan Leijnen, Liane Gabora
CORR
2010
Springer
342views Education» more  CORR 2010»
15 years 7 months ago
A Wireless Sensor Network Air Pollution Monitoring System
Sensor networks are currently an active research area mainly due to the potential of their applications. In this paper we investigate the use of Wireless Sensor Networks (WSN) for...
Kavi Kumar Khedo, Rajiv Perseedoss, Avinash Mungur
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 7 months ago
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
James Brotherston, Cristiano Calcagno
CORR
2010
Springer
91views Education» more  CORR 2010»
15 years 7 months ago
Verifiable Network-Performance Measurements
In the current Internet, there is no clean way for affected parties to react to poor forwarding performance: to detect and assess Service Level Agreement (SLA) violations by a con...
Katerina J. Argyraki, Petros Maniatis, Ankit Singl...
CORR
2010
Springer
81views Education» more  CORR 2010»
15 years 7 months ago
Self-stabilization with Byzantine tolerance for global tasks
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
Swan Dubois, Toshimitsu Masuzawa, Sébastien...