17082 search results - page 210 / 3417 » Abstractions for Mobile Computation |
CONCUR
2007
Springer
15 years 10 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...
103
Voted
IEEEPACT
2005
IEEE
15 years 9 months ago
2005
IEEE
llel Abstractions in Fortress Guy Steele Sun Microsystems Laboratories April 24, 2006
105
Voted
ELP
1989
15 years 7 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...
100
Voted
PERCOM
2004
ACM
16 years 3 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...
130
click to vote
ICDCSW
2002
IEEE
15 years 8 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 ...