11121 search results - page 422 / 2225 » Computing with Continuous Change |
172
click to vote
GCC
2007
Springer
16 years 1 months ago
2007
Springer
Rapid advancement of communication technology has changed the landscape of computing. New models of computing, such as business-on-demand, Web services, peer-to-peer networks, and...
176
click to vote
SI3D
2005
ACM
16 years 16 days ago
2005
ACM
Recent advances in mobile computing allow the users to deal with 3D interactive graphics on handheld computers. Although the computing resources and screen resolutions grow steadi...
165
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Although domestic computer use is increasing, most efforts to reduce energy use through improved power management have focused on computers in the workplace. We studied 20 househo...
209
click to vote
ERLANG
2006
ACM
16 years 29 days ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
192
click to vote
CSL
2005
Springer
16 years 16 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...