10038 search results - page 227 / 2008 » Model Checking for Managers |
128
Voted
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
143
Voted
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
141
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
Integrity constraints are valuable tools for enforcing consistency of data in a database. Global integrity constraints ensure integrity and consistency of data spanning multiple d...
143
click to vote
ICDT
2009
ACM
16 years 4 days ago
2009
ACM
Managing inconsistency in databases has long been recognized as an important problem. One of the most promising approaches to coping with inconsistency in databases is the framewo...
140
click to vote
IEEESCC
2006
IEEE
15 years 11 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...