999 search results - page 110 / 200 » Constraints in Non-Boolean Contexts |
183
click to vote
ACMSE
2006
ACM
16 years 5 days 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...
157
click to vote
MINENET
2005
ACM
15 years 11 months ago
2005
ACM
Increasingly powerful fault management systems are required to ensure robustness and quality of service in today’s networks. In this context, event correlation is of prime impor...
137
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
165
click to vote
EGC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Monitoring systems are nowadays ubiquitous in complex environments, such as Grids. Their use is fundamental for performance evaluation, problem spotting, advanced debuggi...
131
click to vote
ISLPED
2004
ACM
15 years 11 months ago
2004
ACM
Voltage islands enable core-level power optimization for Systemon-Chip (SoC) designs by utilizing a unique supply voltage for each core. Architecting voltage islands involves isla...