3160 search results - page 232 / 632 » Postcards from the future |
168
click to vote
LFCS
2007
Springer
16 years 12 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
145
click to vote
LOCA
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Location Fingerprinting (LF) is a promising location technique for many awareness applications in pervasive computing. However, as research on LF systems goes beyond basi...
189
click to vote
MTSR
2007
Springer
16 years 12 days ago
2007
Springer
agroXML is a standardized language for data exchange in agriculture. It is based on the eXtensible Markup Language (XML) using XML Schema as its definition language. agroXML is us...
140
click to vote
OTM
2007
Springer
16 years 12 days ago
2007
Springer
Mobile technologies aim to assist people as they move from place to place going about their daily work and social routines. Established and very popular mobile technologies include...
239
click to vote
WWIC
2007
Springer
16 years 11 days ago
2007
Springer
Vehicular ad-hoc networks (VANETs) offer a large number of new potential applications without relying on significant infrastructure. Many of these applications benefit from multi-h...