7099 search results - page 328 / 1420 » Context for models of concurrency |
218
click to vote
ECIR
2006
Springer
15 years 9 months ago
2006
Springer
The purpose of contextual information retrieval is to make some exploration towards designing user specific search engines that are able to adapt the retrieval model to the variety...
190
click to vote
WSC
1997
15 years 8 months ago
1997
Techniques to visualize quantitative discrete event simulation input and output data are presented. General concepts connected with graphical excellence are discussed in a simulat...
202
click to vote
CONTEXT
1999
Springer
15 years 11 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
211
click to vote
CEEMAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
200
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...