1860 search results - page 110 / 372 » A Temporal Logic of Robustness |
127
click to vote
CLEIEJ
2006
15 years 20 days ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
105
click to vote
ISQED
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...
128
Voted
JELIA
1994
Springer
15 years 4 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
122
Voted
BMCBI
2006
15 years 20 days ago
2006
Background: The identification of biologically interesting genes in a temporal expression profiling dataset is challenging and complicated by high levels of experimental noise. Mo...
111
click to vote
EUSFLAT
2001
15 years 2 months ago
2001
This paper proposes a confluence between soft OR and soft computing methods, by means of an application of fuzzy logic ideas to robustness analysis. Both methods try to add flexib...