12052 search results - page 461 / 2411 » computing 2010 |
163
click to vote
AISS
2010
15 years 1 months ago
2010
This paper has focused on the integration of Hybrid Renewable Energy, specifically the solar energy resources into conventional electric grid and deployment of smart architecture ...
160
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
181
Voted
FECS
2010
15 years 4 months ago
2010
This paper describes the experience of teaching robotics at the freshman level, from the conception of the project through the offering of a computer science seminar in robotics, h...
175
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
186
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
If we expect the computer to vanish in the background, to make pervasive computing a reality, first we must be able to provide the illusion that all the user’s computers, devic...