696 search results - page 92 / 140 » Explaining abstract counterexamples |
125
click to vote
SOCO
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
123
click to vote
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
152
Voted
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
129
click to vote
CIG
2005
IEEE
15 years 9 months ago
2005
IEEE
AbstractGroup utility functions are an extension of the common team utility function for providing multiple agents with a common reinforcement learning signal for learning cooperat...
119
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Maintenance is a time consuming activity within software development and it requires a good understanding of the system in question. It is hard or even impossible to understand po...