5353 search results - page 383 / 1071 » Modelling Contexts in the Or-BAC Model |
190
click to vote
NSPW
2006
ACM
16 years 1 months ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
180
click to vote
ICAC
2005
IEEE
16 years 1 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
210
click to vote
ICEBE
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
173
Voted
ICPPW
2005
IEEE
16 years 1 months ago
2005
IEEE
Large–scale parallel applications performing global synchronization may spend a significant amount of execution time waiting for the completion of a barrier operation. Conseque...
174
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
: We believe that much novel insight into the worldwide web can be obtained from taking into account the important fact that it is created, used, and run by selfish optimizing agen...