12981 search results - page 255 / 2597 » Model Checking (Abstract) |
130
Voted
BPM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
129
Voted
ICDT
2005
ACM
15 years 9 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
112
Voted
DBPL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
153
click to vote
GVD
2004
15 years 4 months ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
129
Voted
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...