2542 search results - page 119 / 509 » An Operational Definition of Context |
220
click to vote
CRIWG
2001
15 years 8 months ago
2001
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
191
click to vote
DBSEC
2010
15 years 7 months ago
2010
We propose a framework to evaluate the risk incurred when managing users and permissions through RBAC. The risk analysis framework does not require roles to be defined, thus making...
204
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
142
click to vote
MOC
2000
15 years 6 months ago
2000
In this paper, we consider iterative algorithms of Uzawa type for solving linear nonsymmetric saddle point problems. Specifically, we consider systems, written as usual in block fo...
183
click to vote
BNCOD
2009
15 years 4 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...