5639 search results - page 881 / 1128 » Timed Abstract Non-interference |
126
click to vote
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...
107
click to vote
CONEXT
2007
ACM
15 years 7 months ago
2007
ACM
In typical single-link 802.11 ad-hoc networks, devices often move from one network to the next, forming transitory associations without a fixed support infrastructure. The state i...
144
click to vote
DMSN
2007
ACM
15 years 7 months ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
162
click to vote
DNIS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This work proposes LEASE, a novel Mobile-P2P lease-based economic incentive model, in which data requestors need to pay the price (in virtual currency) of their requested...
131
click to vote
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...