4520 search results - page 385 / 904 » Algebraic Techniques for Timed Systems |
187
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
Auto-ID technologies allow capturing the time and location of products in the supply chain for tracking and tracing. This paves the way for a variety of business applications, suc...
215
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— We propose a low-complexity adaptive highresolution channel prediction algorithm for pilot symbol assisted orthogonal frequency division multiplexing (OFDM) systems. Th...
232
click to vote
HCW
1999
IEEE
15 years 12 months ago
1999
IEEE
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...
179
click to vote
FCCM
1998
IEEE
15 years 12 months ago
1998
IEEE
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
202
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...