9370 search results - page 1587 / 1874 » An Abstract Notion of Application |
174
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
177
click to vote
DAIS
2007
15 years 8 months ago
2007
Abstract. Ubiquitous computing environments are characterised by a high number of heterogenous devices that generate a huge amount of context data. These data are used, for example...
181
click to vote
CSREASAM
2008
15 years 8 months ago
2008
Abstract Mobile and wireless devices become more popular and their capabilities increase as well. At the same time, most of the today's PC power is unused, as a study of the G...
172
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...
226
click to vote
DAIS
2008
15 years 8 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...