2496 search results - page 280 / 500 » Error-detecting properties of languages |
167
click to vote
COSIT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
149
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
196
click to vote
GPCE
2007
Springer
16 years 28 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
170
click to vote
ICDT
2007
ACM
16 years 27 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
205
click to vote
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...