12981 search results - page 2161 / 2597 » Model Checking (Abstract) |
257
click to vote
INFOCOM
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— This paper considers jointly optimal design of crosslayer congestion control, routing and scheduling for ad hoc wireless networks. We first formulate the rate constrai...
162
click to vote
MSWIM
2006
ACM
16 years 8 days ago
2006
ACM
Wireless sensor networks (WSNs) have recently attracted a lot of interest due to the range of applications they enable. Unfortunately, WSNs are exposed to numerous security threat...
160
click to vote
NPAR
2006
ACM
16 years 8 days ago
2006
ACM
We present techniques to create convincing high-quality watercolor illustrations of plants. Mainly focusing on the real-time rendering, we introduce methods to abstract the visual...
177
click to vote
ICEIS
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
166
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper considers the Steiner tree problem in the model of twostage stochastic optimization with recourse. This model, the focus of much recent research [1–4], tries...