909 search results - page 20 / 182 » Temporal Logic Case Study |
EHCI
2001
15 years 3 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
112
click to vote
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
121
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
103
click to vote
PERCOM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
207
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...