6274 search results - page 858 / 1255 » Proofs, Programs, Processes |
119
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—The problem of maximizing the sum of the transmit rates while limiting the outage probability below an appropriate threshold is investigated for networks where the nodes have li...
139
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
157
Voted
SMI
2008
IEEE
15 years 11 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
147
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
149
click to vote
QSIC
2007
IEEE
15 years 11 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...