10072 search results - page 288 / 2015 » Composition of Model Programs |
174
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
192
click to vote
RP
2009
Springer
16 years 1 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...
154
click to vote
COMPSAC
2006
IEEE
16 years 21 days 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...
163
click to vote
EUROMICRO
2005
IEEE
16 years 8 days 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...
151
Voted
CEAS
2006
Springer
15 years 10 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 ...