2947 search results - page 323 / 590 » Analyzing Program Analyses |
180
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
169
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
159
click to vote
MSR
2006
ACM
16 years 18 days ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
156
click to vote
ICSM
2005
IEEE
16 years 7 days ago
2005
IEEE
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...
180
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...