7623 search results - page 920 / 1525 » Constructive Volume Modeling |
197
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
183
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
177
click to vote
ICMI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
175
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
288
click to vote
FPCA
1995
15 years 10 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...