1226 search results - page 229 / 246 » Proofs, Programs and Abstract Complexity |
116
click to vote
GLOBECOM
2008
IEEE
14 years 12 months ago
2008
IEEE
Abstract-- We study the problem of total throughput maximization in arbitrary multi-hop wireless networks, with constraints on the total power usage (denoted by PETM), when nodes h...
115
click to vote
ENTCS
2008
14 years 12 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
KI
2006
Springer
14 years 11 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
ENTCS
2002
14 years 11 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
121
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— Cooperative relay networks combined with Orthogonal Frequency Division Multiplexing Access (OFDMA) technology has been widely recognized as a promising candidate for fu...