9626 search results - page 1355 / 1926 » Invariant Based Programming |
199
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
210
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We propose an Efficient Reliable Data Collection (eRDC) algorithm. The eRDC is designed for energy-constraint wireless sensor networks (WSN) to balance reliability and energy c...
203
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
156
click to vote
AHS
2007
IEEE
16 years 1 months ago
2007
IEEE
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...
179
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...