15792 search results - page 2532 / 3159 » Computational Abstraction Steps |
210
click to vote
APSCC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper, we address the problem of lifetime optimization under storage constraint for wireless sensor networks with a mobile sink node. The problem is particularl...
214
click to vote
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract-- When monitoring interactions within a social network, meetings or contacts between different members of the network are recorded. This paper addresses the problem of usi...
243
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
192
click to vote
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
220
click to vote
ALGORITHMICA
2007
15 years 7 months ago
2007
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...