2089 search results - page 297 / 418 » Finding Environment Guarantees |
154
click to vote
ITIIS
2010
14 years 11 months ago
2010
Greedy forwarding is the key mechanism of geographic routing and is one of the protocols used most commonly in wireless sensor networks. Greedy forwarding uses 1-hop local informa...
117
click to vote
JDCTA
2010
14 years 11 months ago
2010
This paper analyzes performance of MEGACO (Media Gateway Control Protocol) based on Diameter which is an Authentication, Authorization,andAccounting (AAA) protocol developed withi...
203
click to vote
TFS
2010
14 years 11 months ago
2010
At present, the development in the nascent field of synthetic gene networks is still difficult. Most newly created gene networks are nonfunctioning due to intrinsic parameter fluct...
174
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We propose a framework for large scale learning and annotation of structured models. The system interleaves interactive labeling (where the current model is used to semiautomate t...
158
click to vote
SOFSEM
2012
Springer
13 years 12 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...