1027 search results - page 37 / 206 » Callgraph properties of executables |
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
Lazy replication protocols provide good scalability properties by decoupling transaction execution from the propagation of new values to replica sites while guaranteeing a correct...
90
Voted
ICTCS
2007
Springer
15 years 6 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
99
Voted
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
124
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
115
Voted
EOR
2011
14 years 7 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...