Sciweavers

4719 search results - page 573 / 944
» Newtonian program analysis
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Creating and evolving software by searching, selecting and synthesizing relevant source code
When programmers develop or maintain software, they instinctively sense that there are fragments of code that other developers implemented somewhere, and these code fragments coul...
Denys Poshyvanyk, Mark Grechanik
COMPSAC
2009
IEEE
16 years 1 months ago
SN2K Attacks and Honest Services
—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...
Ashish Kundu
SARA
2009
Springer
16 years 1 months ago
Some Interval Approximation Techniques for MINLP
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...
Nicolas Berger, Laurent Granvilliers
UM
2009
Springer
16 years 1 months ago
What Do Academic Users Really Want from an Adaptive Learning System?
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...
Martin Harrigan, Milos Kravcik, Christina Steiner,...
UM
2009
Springer
16 years 1 months ago
Social Navigation Support for Information Seeking: If You Build It, Will They Come?
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...
Rosta Farzan, Peter Brusilovsky