884 search results - page 157 / 177 » A semantics of sequence diagrams |
152
click to vote
EUROPAR
2005
Springer
15 years 11 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 ...
174
click to vote
ICWL
2005
Springer
15 years 11 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...
157
click to vote
CONCUR
2004
Springer
15 years 11 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...
171
click to vote
VLDB
2004
ACM
15 years 11 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...
206
click to vote
AMFG
2003
IEEE
15 years 11 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...