1515 search results - page 105 / 303 » On the relation of aspects and monads |
192
click to vote
COOP
2004
15 years 7 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
184
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
156
click to vote
IADIS
2004
15 years 7 months ago
2004
The aim of this study is to present a contribution in the area of human decision modeling. A state of the art from this research area shows the lack of models combining perceptive...
182
click to vote
CRIWG
2001
15 years 7 months ago
2001
This paper focuses on technical, social and psychological aspects of the use of a video wall for communications between two geographically separated halves of a university departm...
160
click to vote
SODA
2001
ACM
15 years 7 months ago
2001
ACM
It is well known that the Delaunay Triangulation is a spanner graph of its vertices. In this paper we show that any bounded aspect ratio triangulation in two and three dimensions ...