2060 search results - page 170 / 412 » The Composition of Event-B Models |
171
click to vote
RTCSA
1997
IEEE
15 years 9 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
122
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...
143
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
151
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...
130
click to vote
COMPSAC
2006
IEEE
15 years 10 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...