62 search results - page 5 / 13 » Advanced SPIN Tutorial |
PVLDB
2008
13 years 6 months ago
2008
Integrity constraints, a.k.a. data dependencies, are being widely used for improving the quality of schema. Recently constraints have enjoyed a revival for improving the quality o...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
WSC
2001
13 years 9 months ago
2001
This tutorial considers some very general procedures for analysing the results of a simulation experiment using bootstrap resampling. Bootstrapping has come to be recognised in st...
PVLDB
2010
13 years 6 months ago
2010
Managing, searching and mining uncertain data has achieved much attention in the database community recently due to new sensor technologies and new ways of collecting data. There ...
ISRR
2001
Springer
14 years 4 days ago
2001
Springer
Field Robots are machines that work in unstructured environments, including under water, in mines, in forests and on farms, and in the air. These applications involve both advance...