9186 search results - page 417 / 1838 » A Module System for Scheme |
335
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
166
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider about a multiple relay system operating under amplify-and-forward (AF) protocol and non-coherent modulation and demodulation. When the relays are under long-term po...
213
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Orthogonal Frequency Division Multiplexing (OFDM) is sensitive to Carrier Frequency Offset (CFO), which destroys the orthogonality and causes Inter-Carrier Interference (ICI). ...
305
click to vote
SAINT
2007
IEEE
16 years 1 months ago
2007
IEEE
To achieve a smart sensor network with Web-based sensor nodes such as Field Servers, we propose a hierarchical agent system that manages sensor nodes autonomously and flexibly, an...
193
click to vote
ATC
2007
Springer
16 years 1 months ago
2007
Springer
We present a system architecture for trusted transactions in highly sensitive environments. This architecture takes advantage of techniques provided by the Trusted Computing Group ...