2940 search results - page 415 / 588 » Relational Parametricity and Control |
156
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Due to adverse aqueous environments, non-negligible node mobility and large network scale, localization for large-scale mobile underwater sensor networks is very challenging. In...
130
click to vote
ISPW
2008
IEEE
15 years 11 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
130
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
128
Voted
MUE
2008
IEEE
15 years 11 months ago
2008
IEEE
More and more media material is consumed in ubiquitous environment where the service can be experienced over different devices, network conditions, network bearers, etc. Unlike in...
148
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
—Multi-cell Cooperative Processing (MCP) has been recognised as an efficient technique for increasing spectral efficiency of future cellular systems. However the provided bene...