7943 search results - page 1232 / 1589 » A calculus for costed computations |
165
click to vote
ISQED
2005
IEEE
16 years 12 days ago
2005
IEEE
Layout migration has re-emerged as an important task due to the increasing use of library hard intellectual properties. While recent advances of migration tools have accommodated ...
169
click to vote
LCN
2005
IEEE
16 years 12 days ago
2005
IEEE
The light-trail architecture provides a novel solution to address IP-centric issues at the optical layer. By incorporating drop and continue functionality, overlaid with a lightwe...
162
click to vote
LICS
2005
IEEE
16 years 12 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
279
click to vote
MMM
2005
Springer
16 years 12 days ago
2005
Springer
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...
215
click to vote
PERCOM
2005
ACM
16 years 12 days ago
2005
ACM
Hybrid sensor networks comprise of mobile and static sensor nodes setup for the purpose of collaboratively performing tasks like sensing a phenomenon or monitoring a region. In th...