5639 search results - page 140 / 1128 » Timed Abstract Non-interference |
114
click to vote
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
107
Voted
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
Abstract— As VLSI technology enters the ultra-deep submicron era, wire coupling capacitance starts to dominate self capacitance and can no longer be neglected in timing driven ro...
102
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract: Numerical solutions to fractional differential equations can be extremely computationally intensive due to the effect of non-local derivatives in which all previous time ...
121
Voted
SPATIALCOGNITION
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. Across cultures, people conceptualize time as if it flows along a horizontal timeline, but the direction of this implicit timeline is culture-specific: in cultures with l...
125
click to vote
IDEAS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...