5863 search results - page 880 / 1173 » On Model-Checking of P Systems |
157
click to vote
ORL
2002
15 years 6 months ago
2002
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...
200
click to vote
RCC
2002
15 years 6 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
147
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
This paper describes ongoing work on a project to simulate the behaviour of epidermal growth factor receptors. These are structures which can be found on the surface of cells in th...
179
click to vote
TSMC
2002
15 years 6 months ago
2002
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...
168
click to vote
UMUAI
2002
15 years 6 months ago
2002
Current interface design practices are based on user models and descriptions derived almost exclusively from studies of able-bodied users (Keates et al., 1999). However, such users...