1465 search results - page 101 / 293 » Making the Correct Mistakes |
142
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Correct and efficient estimation of the Hurst parameter of long-range dependent (LRD) video traces is important in traffic analysis. The low computational cost and th...
187
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
149
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
155
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
140
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Grids should not just be facilitating advances in science and engineering; rather they should also be making an impact on our daily lives by enabling sophisticated applic...