550 search results - page 54 / 110 » An Application Directed Adaptive Framework for Autonomic Sof... |
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
EMSOFT
2001
Springer
15 years 3 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
101
click to vote
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
91
Voted
AO
2007
14 years 11 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
102
click to vote
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...