5639 search results - page 17 / 1128 » Timed Abstract Non-interference |
133
click to vote
PAAMS
2010
Springer
15 years 6 days ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
RTCSA
2009
IEEE
15 years 9 months ago
2009
IEEE
87
Voted
CCA
2009
Springer
15 years 9 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
86
Voted
WCET
2008
15 years 3 months ago
2008
stract Execution Jan Gustafsson and Andreas Ermedahl M
134
click to vote
SIAMNUM
2010
14 years 9 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...