5726 search results - page 414 / 1146 » Supporting annotations on relations |
150
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
Separation of duty constraints define mutual exclusion relations between two entities (e.g. two permissions). Thus, a software component that supports the definition of separation...
167
click to vote
SIS
2004
15 years 8 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
175
click to vote
INTERACT
2003
15 years 8 months ago
2003
: An overview over the present situation in the domain of HCI in Switzerland is given. The history of our active group is provided, connections to related societies are shown and t...
195
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
224
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We show that if a finite relational structure has a near unanimity polymorphism, then the constraint satisfaction problem with that structure as its fixed template has bounded...