1156 search results - page 72 / 232 » Compositional Methods for Information-Hiding |
140
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
— Cloud computing is a latest new computing paradigm where applications, data and IT services are provided over the Internet. Cloud computing has become a main medium for Softwar...
102
click to vote
FMSD
2006
15 years 3 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
147
click to vote
INFORMATICALT
2007
15 years 3 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
147
click to vote
AAI
2000
15 years 3 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
130
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, an innovative frequency domain joint estimation algorithm of synchronization parameter and channel impulse response (CIR) in Direct Sequence Code Division Multip...