8555 search results - page 1705 / 1711 » Property Based Coordination |
159
click to vote
FOSSACS
2011
Springer
14 years 29 days ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
ICSE
2011
IEEE-ACM
14 years 28 days ago
2011
IEEE-ACM
Software product lines gain momentum in research and industry. duct-line approaches use features as a central abstraction mechanism. Feature-oriented software development aims at ...
INFOCOM
2011
IEEE
14 years 27 days ago
2011
IEEE
Abstract—In this paper, we investigate the problem of maximizing the throughput over a finite-horizon time period for a sensor network with energy replenishment. The finite-horiz...
117
Voted
INFOCOM
2011
IEEE
14 years 27 days ago
2011
IEEE
—Social networks exhibit a very special property: community structure. Understanding the network community structure is of great advantages. It not only provides helpful informat...
IPSN
2011
Springer
14 years 27 days ago
2011
Springer
In a sensor network there are many paths between a source and a destination. An efficient method to explore and navigate in the ‘path space’ can help many important routing p...