9067 search results - page 525 / 1814 » Adaptive Model Checking |
154
click to vote
ASIAN
2003
Springer
16 years 8 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 ...
179
click to vote
CIVR
2003
Springer
16 years 8 days ago
2003
Springer
The concept of a documentary scene was inferred from the audio-visual characteristics of certain documentary videos. It was observed that the amount of information from the visual ...
155
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
168
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
193
Voted
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...