6317 search results - page 1125 / 1264 » System Support for Pervasive Applications |
141
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
161
Voted
FI
2011
14 years 11 months ago
2011
: Multimedia streaming means delivering continuous data to a plethora of client devices. Besides the actual data transport, this also needs a high degree of content adaptation resp...
160
Voted
WWW
2011
ACM
14 years 11 months ago
2011
ACM
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
140
click to vote
ML
2010
ACM
14 years 10 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
136
click to vote
PC
2010
14 years 10 months ago
2010
We study the forward and backward substitution phases of a sparse multifrontal factorization. These phases are often neglected in papers on sparse direct factorization but, in man...