1860 search results - page 171 / 372 » A Temporal Logic of Robustness |
109
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Compare CMOS Logic with Pass-Transistor Logic, a question was raised in our mind: "Does any rule exist that contains all good?" This paper reveals novel logic synthesis ...
119
click to vote
JCIT
2008
15 years 24 days ago
2008
The main objective of design methodology of a controller for forecasting cardiac arrest using fuzzy logic approach is to provide the prediction of period of life time for the pati...
113
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
92
Voted
PODS
2006
ACM
16 years 28 days ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
119
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...