8132 search results - page 1220 / 1627 » Dependability, Abstraction, and Programming |
145
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--In this paper, we present an unequal power allocation technique to increase the throughput of code-division multiple-access (CDMA) systems with chip-level interleavers. P...
152
click to vote
JSW
2006
15 years 6 months ago
2006
The increased use of electronic service has invented a new term Service-Oriented Architecture. In a typical distributed environment consisting of many independent devices and servi...
171
Voted
EOR
2007
15 years 6 months ago
2007
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...
187
click to vote
JUCS
2006
15 years 6 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
190
Voted
MSCS
2008
15 years 6 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...