17082 search results - page 210 / 3417 » Abstractions for Mobile Computation |
CONCUR
2007
Springer
14 years 4 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
IEEEPACT
2005
IEEE
14 years 4 months ago
2005
IEEE
llel Abstractions in Fortress Guy Steele Sun Microsystems Laboratories April 24, 2006
ELP
1989
14 years 2 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
PERCOM
2004
ACM
14 years 10 months ago
2004
ACM
This paper presents the author's experience in designing and teaching a graduate level Ubiquitous Computing (Ubicomp) course at Arizona State University. It identifies some o...
ICDCSW
2002
IEEE
14 years 3 months ago
2002
IEEE
In the near future, there will be increasingly powerful computers in smart cards, telephones, and other information appliances. This will create a massive infrastructure composed ...