653 search results - page 19 / 131 » Implications of a Data Structure Consistency Checking System |
FMSD
2006
13 years 7 months ago
2006
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. W...
VAMOS
2008
Springer
13 years 9 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
ISPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Data replication permits a better network bandwidth utilization and minimizes the effect of latency in large-scale systems such as computing grids. However, the cost of maintainin...
SCP
2010
13 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
ICEIS
2003
IEEE
14 years 1 months ago
2003
IEEE
: This paper brings together two research areas, i.e. “Data Warehouses” and “Temporal Databases”, involving representation of time. Looking at temporal aspects within a dat...