3047 search results - page 172 / 610 » A Temporal Consensus Model |
135
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
154
click to vote
ICDM
2002
IEEE
15 years 10 months ago
2002
IEEE
Temporal data mining aims at finding patterns in historical data. Our work proposes an approach to extract temporal patterns from data to predict the occurrence of target events,...
137
click to vote
MFCS
1997
Springer
15 years 9 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
179
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
155
click to vote
CMSB
2008
Springer
15 years 7 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...