12981 search results - page 535 / 2597 » Model Checking (Abstract) |
146
click to vote
ASIAN
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
129
click to vote
FATES
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
153
click to vote
ISCIS
2003
Springer
16 years 4 hour ago
2003
Springer
Abstract. In this paper, we introduce the composition problem associated with object-based video coding and propose a solution to this problem. Although the object-based rate contr...
174
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
176
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...