Sciweavers

17082 search results - page 202 / 3417
» Abstractions for Mobile Computation
Sort
View
CHI
2006
ACM
14 years 10 months ago
Child-user abstractions
Child-User Abstractions: Need, Experience and Ability Alissa Antle School of Interactive Arts and Technology Simon Fraser University 2400 Central City Surrey, B.C., Canada V3T 2W1
Alissa Nicole Antle
BIRTHDAY
2009
Springer
14 years 2 months ago
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
Olivier Danvy
CAV
2007
Springer
112views Hardware» more  CAV 2007»
14 years 4 months ago
Magnifying-Lens Abstraction for Markov Decision Processes
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
Luca de Alfaro, Pritam Roy
IC
2004
13 years 11 months ago
A Scheme for Personalized Bookmark Services in a Mobile Agent Environment
Recent popularity of web-enabled mobile devices such as handheld devices and PDAs has made mobile Internet access very popular. However, considering the limitation of mobile devic...
Sohryun Shin, Eenjun Hwang