1796 search results - page 145 / 360 » An Approach to Compositional Model Checking |
EICS
2009
ACM
14 years 5 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
FLAIRS
2007
14 years 1 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
EDBT
2009
ACM
14 years 5 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
FASE
2010
Springer
14 years 2 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper, we propose an effective approach to the nearly untouched problem, still photograph auto cropping, which is one of the important features to automatically enhance ph...