AC
2003
Springer
13 years 9 months ago
2003
Springer
AC
2003
Springer
13 years 9 months ago
2003
Springer
AC
2003
Springer
13 years 9 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 ...
AC
2003
Springer
13 years 9 months ago
2003
Springer
AC
2003
Springer
13 years 9 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...
AC
2003
Springer
13 years 9 months ago
2003
Springer
AC
2003
Springer
13 years 9 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
AC
2003
Springer
13 years 9 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...
AC
2003
Springer
13 years 9 months ago
2003
Springer
AC
2003
Springer
13 years 9 months ago
2003
Springer