15614 search results - page 98 / 3123 » The State of State |
AAAI
1997
15 years 2 months ago
1997
The degree to which a planner succeeds and meets response deadlines depends on the correctness and completenessof its modelswhichdescribe events and actions that change the world ...
120
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
112
click to vote
TCOM
2008
15 years 19 days ago
2008
We consider a point-to-point communication system in which data packets randomly arrive to a finite-length buffer and are subsequently transmitted to a receiver over a timevarying ...
126
click to vote
BPM
2008
Springer
15 years 2 months ago
2008
Springer
Simulation is widely used as a tool for analyzing business s but is mostly focused on examining rather abstract steady-state situations. Such analyses are helpful for the initial d...
124
click to vote
CSFW
2011
IEEE
14 years 16 days ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...