5639 search results - page 73 / 1128 » Timed Abstract Non-interference |
CSDA
2007
14 years 12 months ago
2007
Abstract: Abrupt shifts in the level of a time series represent important information and should be preserved in statistical signal extraction. We investigate rules for detecting l...
100
click to vote
TSMC
2008
14 years 11 months ago
2008
Abstract--In this paper, a synchronization problem is investigated for an array of coupled complex discrete-time networks with the simultaneous presence of both the discrete and di...
ANOR
2002
14 years 11 months ago
2002
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—This paper proposes a novel discrete time secondorder distributed consensus time synchronization (SO-DCTS) algorithm for wireless sensor networks. The consensus properti...
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...