Sciweavers

2496 search results - page 8 / 500
» Error-detecting properties of languages
Sort
View
IWFM
1998
134views Formal Methods» more  IWFM 1998»
13 years 11 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
IUI
2006
ACM
14 years 3 months ago
Three phase verification for spoken dialog clarification
Spoken dialog tasks incur many errors including speech recognition errors, understanding errors, and even dialog management errors. These errors create a big gap between user'...
Sangkeun Jung, Cheongjae Lee, Gary Geunbae Lee
IFIP
2010
Springer
13 years 4 months ago
Towards Automatic Analysis of Election Verifiability Properties
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...
ICFEM
2007
Springer
14 years 4 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
TCS
2002
13 years 9 months ago
Error-detecting properties of languages
The language property of error-detection ensures that the communications medium cannot transform a word of the language to another word of the language. In this paper we provide s...
Stavros Konstantinidis, Amber O'Hearn