Sciweavers

17082 search results - page 202 / 3417
» Abstractions for Mobile Computation
Sort
View
CHI
2006
ACM
16 years 4 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
15 years 8 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»
15 years 10 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
158
Voted
IC
2004
15 years 5 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