602 search results - page 37 / 121 » NetRaker suite: a demonstration |
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
The performance of Evolutionary Programming (EP) is affected by many factors (e.g. mutation operators and selection strategies). Although the conventional approach with Gaussian mu...
WWW
2010
ACM
14 years 10 months ago
2010
ACM
As traditional media and information devices integrate with the web, they must suddenly support a vastly larger database of relevant items. Many devices use remote controls with o...
DCOSS
2010
Springer
14 years 10 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
ADHOC
2007
14 years 10 months ago
2007
In the past five years Bluetooth scatternets were one of the most promising wireless networking technologies for ad hoc networking. In such networks, mobility together with the f...