researchr - search publication consistency

researchr

You are not signed in
Sign in
Sign up

9887 publication results matching 'consistency'

Iterative Development of Consistency-Preserving Rule-Based Refactorings
… of the modeling language under consideration are preserved (consistency preservation). The consistency of model refactorings can be ensured by runtime checks. However … for consistency preservation of rule-based refactorings at design time. Thereby …
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese. ICMT 2011: 123-137
Static consistency checking of web applications with WebDSL
… to the source of the inconsistency. A major part of this inadequate consistency checking …, which are not checked for consistency with the rest of the application. Examples … up with static verification and cross-aspect consistency checking in mind …
Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi]
Path Consistency by Dual ConsistencyChristophe Lecoutre, Stéphane Cardon, Julien Vion. cp 2007: 438-452 [doi]
Belief consistency and trade consistencyEhud Lehrer, Dov Samet. geb, 83:165-177, 2014. [doi]
Conventionalism, consistency, and consistency sentencesJared Warren. synthese, 192(5):1351-1371, 2015. [doi]
T-Consistency and the Order ConsistencyAtiq ur Rehman, Etienne. E. Kerre, Samina Ashraf. ijis, 30(2):120-143, 2015. [doi]
Learning and ConsistencyRolf Wiehagen, Thomas Zeugmann. gosler 1995: 1-24
Indexer consistencyCandy Schwartz. jasis, 42(10):759, 1991.
Collective ConsistencyCynthia Dwork, Ching-Tien Ho, H. Raymond Strong. wdag 1996: 234-250
Metasearch ConsistencyJaved A. Aslam, Mark H. Montague. sigir 2001: 386-387
Circuit ConsistenciesAbdellah Idrissi, Ahlem Ben Hassine. pricai 2004: 124-133 [doi]
Consistency and LocalizabilityAlon Zakai, Yaacov Ritov. jmlr, 10:827-856, 2009. [doi]
Proof by ConsistencyDeepak Kapur, David R. Musser. ai, 31(2):125-157, 1987.
Consistency DefaultsPaolo Liberatore. sLogica, 86(1):89-110, 2007. [doi]
Perceived ConsistencyCarsten Griwodz, Michael Liepert, Abdulmotaleb El-Saddik, Giwon On, Michael Zink, Ralf Steinmetz. aiccsa 2001: 260-266 [doi]
Symmetry and ConsistencyIan P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal. cp 2005: 271-285 [doi]
Singleton ConsistenciesPatrick Prosser, Kostas Stergiou, Toby Walsh. cp 2000: 353-368 [doi]
Arc-Consistency and Arc-Consistency AgainChristian Bessière, Marie-Odile Cordier. AAAI 1993: 108-113
Arc-Consistency and Arc-Consistency AgainChristian Bessière. ai, 65(1):179-190, 1994.
Transformational ConsistencyKai Richter. cadui 2008: 137-150 [doi]

Sign in or sign up to see more results.

runs on WebDSL