Sciweavers

12052 search results - page 285 / 2411
» computer 2010
Sort
View
148
Voted
WDAG
2010
Springer
185views Algorithms» more  WDAG 2010»
15 years 4 months ago
The Computational Structure of Progress Conditions
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
Gadi Taubenfeld
FORMATS
2010
Springer
15 years 4 months ago
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games
We study two-player timed games where the objectives of the two players are not opposite. We focus on the standard notion of Nash equilibrium and propose a series of transformation...
Patricia Bouyer, Romain Brenguier, Nicolas Markey
185
Voted
ICICS
2010
Springer
15 years 4 months ago
Efficient Authentication for Mobile and Pervasive Computing
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...
Basel Alomair, Radha Poovendran
WAIM
2010
Springer
15 years 3 months ago
Taming Computational Complexity: Efficient and Parallel SimRank Optimizations on Undirected Graphs
SimRank has been considered as one of the promising link-based ranking algorithms to evaluate similarities of web documents in many modern search engines. In this paper, we investi...
Weiren Yu, Xuemin Lin, Jiajin Le
CLEIEJ
2010
15 years 3 months ago
Incorporation of Kinesthetic Learning Activities to Computer Science 1 course: Use and Results
In this work, we present the systematic incorporation of Kinesthetic Learning Activities (activities with movements and sensations), into the Computer Science 1 course. We detail ...
Inés Friss de Kereki