884 search results - page 157 / 177 » A semantics of sequence diagrams |
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
ICWL
2005
Springer
15 years 3 months ago
2005
Springer
We have previously developed a collaborative virtual environment (CVE) for small-group virtual classrooms, intended for distance learning by geographically dispersed students. The...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
113
click to vote
AMFG
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we propose the concept of Manifold of Facial Expression based on the observation that images of a subject’s facial expressions define a smooth manifold in the hig...