164 search results - page 14 / 33 » A Formal Framework for Stochastic Discrete Event System Spec... |
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
WSC
2008
13 years 10 months ago
2008
Automated Guided Vehicle (AGV) logistic handling system are widely adopted when high transportation capacity and quality of service are the most important characteristics to reach...
WSC
2004
13 years 9 months ago
2004
This paper introduces the Stochastic Project Scheduling Simulation (SPSS) system and two additional useful statistical analysis tools. SPSS integrates CPM, PERT, and Discrete Even...
HASE
1997
IEEE
13 years 12 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
PDPTA
2000
13 years 9 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...