2292 search results - page 303 / 459 » Techniques and tools for dynamic optimization |
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
ECBS
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
FM
2003
Springer
14 years 1 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
WMCSA
2002
IEEE
14 years 1 months ago
2002
IEEE
We show how the database community’s notion of a generic query interface for data aggregation can be applied to ad-hoc networks of sensor devices. As has been noted in the senso...