4520 search results - page 320 / 904 » Algebraic Techniques for Timed Systems |
264
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
180
Voted
IPCCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Since security is of critical importance for modern storage systems, it is imperative to protect stored data from being tampered or disclosed. Although an increasing number of sec...
187
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
247
Voted
AH
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Critiquing techniques provide an easy way for users to feedback their preferences over one or several attributes of the products in a conversational recommender system. W...
186
click to vote
ASPDAC
1995
ACM
15 years 11 months ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...