Sciweavers

984 search results - page 16 / 197
» ideas 2010
Sort
View
80
Voted
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
14 years 9 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
SAB
2010
Springer
242views Optimization» more  SAB 2010»
14 years 7 months ago
Autonomous Development of Social Referencing Skills
Abstract. In this work, we are interested in understanding how emotional interactions with a social partner can bootstrap increasingly complex behaviors such as social referencing....
Sofiane Boucenna, Philippe Gaussier, Laurence Hafe...
SIGSOFT
2010
ACM
14 years 7 months ago
Updating requirements from tests during maintenance and evolution
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
Eya Ben Charrada
TGC
2010
Springer
14 years 7 months ago
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
David Aspinall, Robert Atkey, Kenneth MacKenzie, D...
IAT
2010
IEEE
14 years 6 months ago
Concept Learning Games: The Game of Query and Response
Abstract--This article deals with the issue of concept learning and tries to have a game theoretic view over the process of cooperative concept learning among agents in a multi-age...
Nima Mirbakhsh, Arman Didandeh, Mohsen Afsharchi