1804 search results - page 95 / 361 » On set systems with a threshold property |
164
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
176
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Ivy is a multi-user read/write peer-to-peer file system. Ivy has no centralized or dedicated components, and it provides useful integrity properties without requiring users to ful...
161
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Methods for direct data-driven tuning of the parameters of precompensators for LPV systems are developed. Since the commutativity property is not always satisfied for LPV syst...
205
click to vote
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
153
click to vote
ESORICS
2005
Springer
16 years 6 days ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...