108
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer
95
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer
142
click to vote
AC
2003
Springer
15 years 10 months ago
2003
Springer
To make pervasive computing a reality, we need better system support for building, deploying, and using pervasive applications. In this paper, we identify the unique requirements ...
100
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer
127
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer
We address the problem of deciding uniformly for graphs or languages of a given class whether they are generated by unlabelled Place-Transition nets whose sets of reachable marking...
97
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer
128
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
144
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
107
Voted
AC
2003
Springer
15 years 10 months ago
2003
Springer