2111 search results - page 195 / 423 » How to Program Pervasive Systems |
123
Voted
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we describe the challenges of prototyping a reference application on System S, a distributed stream processing middleware under development at IBM Research. With a ...
172
click to vote
FTDCS
2004
IEEE
15 years 7 months ago
2004
IEEE
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...
123
Voted
FLAIRS
2001
15 years 4 months ago
2001
Partially Observable Markov Decision Process models (POMDPs) have been applied to low-level robot control. We show how to use POMDPs differently, namely for sensorplanning in the ...
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
132
Voted
PLDI
2010
ACM
16 years 23 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...