4719 search results - page 173 / 944 » Newtonian program analysis |
140
Voted
MP
2008
15 years 4 months ago
2008
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...
132
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present our approach to a visual refactoring tool, the Type Access Analyzer (TAA), which uses program analysis to detect code smells and for suggesting and perfo...
134
Voted
AMC
2005
15 years 4 months ago
2005
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...
150
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
164
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...