2025 search results - page 171 / 405 » Minimal-Cut Model Composition |
RP
2009
Springer
14 years 4 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...
COMPSAC
2006
IEEE
14 years 4 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...
EUROMICRO
2005
IEEE
14 years 3 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...
CEAS
2006
Springer
14 years 1 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 ...
IJIS
2002
13 years 10 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...