4250 search results - page 131 / 850 » Understanding the Requirements on Modelling Techniques |
ASYNC
2003
IEEE
14 years 2 months ago
2003
IEEE
Parameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked...
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
AAAI
1998
13 years 10 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
CHI
1999
ACM
14 years 1 months ago
1999
ACM
We introduce a model for supporting collaborative work between people that are physically close to each other. We call this model Single Display Groupware (SDG). In this paper, we...
WSC
2007
13 years 11 months ago
2007
This paper presents a model of Parts Distribution Center (PDC), developed in Arena® 5.0, which aims at providing information about the total time of the retrieving process as the...