518 search results - page 88 / 104 » Time Window Temporal Logic |
FSKD
2005
Springer
15 years 6 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
124
click to vote
HASE
1999
IEEE
15 years 5 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
113
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
121
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
130
click to vote
DALT
2008
Springer
15 years 2 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...