2042 search results - page 114 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
WSC
2004
13 years 10 months ago
2004
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
TMI
2008
13 years 9 months ago
2008
We describe the application of a time domain diffuse fluorescence tomography system for whole body small animal imaging. The key features of the system are the use of point excitat...
WSC
1998
13 years 10 months ago
1998
This paper reviews statistical methods for analyzing output data from computer simulations of single systems. In particular, it focuses on the problems of choosing initial conditi...
NTMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...