411 search results - page 47 / 83 » Timed Alternating-Time Temporal Logic |
131
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
102
click to vote
CIMCA
2006
IEEE
15 years 9 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
139
click to vote
TKDE
2011
14 years 10 months ago
2011
—It is essential to process real-time data service requests such as stock quotes and trade transactions in a timely manner using fresh data, which represent the current real worl...
110
Voted
DAC
1999
ACM
15 years 7 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
130
click to vote
PSTV
1993
15 years 4 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...