828 search results - page 70 / 166 » A framework for spyware assessment |
160
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
196
click to vote
MSWIM
2009
ACM
16 years 28 days ago
2009
ACM
Fairness in multihop ad hoc networks has received considerable attention in the literature. Many schemes have been proposed, which attempt to compute the “optimal” bit rates o...
156
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
164
click to vote
AOSD
2006
ACM
16 years 3 days ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
163
click to vote
IDEAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Adaptive operator scheduling algorithms for continuous query processing are usually designed to serve a single performance objective, such as minimizing memory usage or maximizing...