7557 search results - page 559 / 1512 » Modeling Timed Concurrent Systems |
158
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
169
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
165
click to vote
JCM
2006
15 years 7 months ago
2006
In established communication systems prices are determined in a quasi-static way and for a large area according to a fixed price model. Additionally, the main decision criteria of ...
207
click to vote
WSC
1997
15 years 8 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
144
click to vote
WSC
2000
15 years 8 months ago
2000
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...