1271 search results - page 183 / 255 » On Simulation-Checking with Sequential Systems |
129
Voted
ICMLA
2009
15 years 11 days ago
2009
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
145
Voted
CORR
2010
Springer
15 years 23 hour ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
119
Voted
EICS
2010
ACM
15 years 10 hour ago
2010
ACM
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
194
Voted
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Various attacks (e.g., SQL injections) may corrupt data items in the database systems, which decreases the integrity level of the database. Intrusion detections systems are becomi...