2111 search results - page 158 / 423 » How to Program Pervasive Systems |
186
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
217
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
80
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
To provide personalized health recommendations concerning disabled persons, an adaptive system needs a detailed user model that can account for the peculiar aspects of the many exi...
220
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
97
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new ow is based on measurements of the current trac situation. Since MBAC relies o...