2558 search results - page 228 / 512 » Model Composition Contracts |
276
Voted
DLOG
2011
14 years 8 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
156
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
131
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
129
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
126
click to vote
CEAS
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of suggesting who to add as an additional recipient (i.e. cc, or carbon copy) for an email under composition. We address the problem using graphical models ...