4716 search results - page 554 / 944 » Iterative-free program analysis |
148
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we define and illustrate a new form of attack in the context of software services: the software-based need-to-know (SN2K) attack. SN2K attacks can be carried out...
190
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
193
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
When developing an Adaptive Learning System (ALS), users are generally consulted (if at all) towards the end of the development cycle. This can limit users’ feedback to the chara...
174
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Navigating through the ever-changing information space is becoming increasingly difficult. Social navigation support is a technique for guiding users to interesting and relevant in...
195
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...