488 search results - page 23 / 98 » Weighted Logics for Traces |
LOGCOM
2010
13 years 5 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
ISSTA
2012
ACM
12 years 1 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
CDES
2008
14 years 9 days ago
2008
In this paper an algorithm is proposed for the synthesis and exact minimization of ESCT (Exclusive or Sum of Complex Terms) expressions for Boolean functions of up to seven comple...
ENTCS
2008
13 years 11 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
FUZZY
1999
Springer
14 years 3 months ago
1999
Springer
The clinical interpretation of fetal heart rate traces is a difficult task that has led to the development computerised assessment systems. These systems are limited by their inabi...