963 search results - page 30 / 193 » Types for Mobile Ambients |
133
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
120
click to vote
WMTE
2002
IEEE
15 years 8 months ago
2002
IEEE
‘Mobile Learning’ is a type of application/service that generally presumes to use mobile Internet technology for learning purposes. This paper focuses on discussing basic usab...
123
Voted
IMAGING
2000
15 years 5 months ago
2000
This paper describes an investigation undertaken to address the goal set by the CIE Technical committee TC804: "To investigate the state of adaptation of the visual system wh...
144
Voted
TELETRAFFIC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
117
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Because a delay tolerant network (DTN) can often be partitioned, routing is a challenge. However, routing benefits considerably if one can take advantage of knowledge concerni...