4520 search results - page 247 / 904 » Algebraic Techniques for Timed Systems |
219
click to vote
ICICS
2007
Springer
15 years 11 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...
174
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
175
click to vote
JPDC
2011
15 years 2 months ago
2011
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...
194
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
A novel control method is proposed for networked control systems with nonlinear process, probably non-Gaussian process noise and time delays. The performance index of closed loop c...
245
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
The performance (in term of error rate) of biometric systems can be improved by combining them. Multiple fusion techniques can be applied from classical logical operations to more...