2867 search results - page 521 / 574 » A Context Management System for Supporting Context-Aware App... |
181
click to vote
MOBISYS
2008
ACM
16 years 5 months ago
2008
ACM
Over the course of a day a human interacts with tens or hundreds of individual objects. Many of these articles are nomadic, relying on human memory to manually index, inventory, o...
156
click to vote
TCS
2008
15 years 6 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
208
click to vote
AAAI
2011
14 years 6 months ago
2011
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
150
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Virtual machine monitors (VMMs) are a popular platform for Internet hosting centers and cloud-based compute services. By multiplexing hardware resources among virtual machines (VM...
165
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...